The mouse DDI defines the upper interface for mouse device drivers. For more information, see the mouse(9DDI) man page.