rem: TRACE(("PS2_GET_EVENT_COUNT\n"));
add: TRACE(("MS_NUM_EVENTS\n"));
context: mouse_ioctl(void *cookie, uint32 op, void *buf, size_t len){	mouse_movement *pos = (mouse_movement *)buf;	switch (op) {		case MS_NUM_EVENTS:		{			int32 count;			TRACE(("PS2_GET_EVENT_COUNT\n"));			get_sem_count(sMouseSem, &count);			return count;		}		case MS_READ:			TRACE(("PS2_GET_MOUSE_MOVEMENTS\n"));				return ps2_mouse_read(pos);				default:			TRACE(("unknown opcode: %ld\n", op));			return EINVAL;	}}