Lines Matching refs:ps2_device
312 dev = &ps2_device[PS2_DEVICE_MOUSE + idx];
317 dev = &ps2_device[PS2_DEVICE_KEYB];
394 if (ps2_dev_command_timeout(&ps2_device[PS2_DEVICE_MOUSE], 0xe6,
398 ps2_service_notify_device_added(&ps2_device[PS2_DEVICE_MOUSE]);
400 ps2_service_notify_device_added(&ps2_device[PS2_DEVICE_MOUSE + 1]);
401 ps2_service_notify_device_added(&ps2_device[PS2_DEVICE_MOUSE + 2]);
402 ps2_service_notify_device_added(&ps2_device[PS2_DEVICE_MOUSE + 3]);
403 ps2_service_notify_device_added(&ps2_device[PS2_DEVICE_KEYB]);
405 ps2_service_notify_device_added(&ps2_device[PS2_DEVICE_MOUSE]);
406 ps2_service_notify_device_added(&ps2_device[PS2_DEVICE_KEYB]);