PS2_DEVICE_MOUSE

375

dev = &ps2_device[PS2_DEVICE_MOUSE + idx];

461

if (ps2_dev_command_timeout(&ps2_device[PS2_DEVICE_MOUSE],

465

ps2_service_notify_device_added(&ps2_device[PS2_DEVICE_MOUSE]);

469

ps2_service_notify_device_added(&ps2_device[PS2_DEVICE_MOUSE + idx]);

473

ps2_service_notify_device_added(&ps2_device[PS2_DEVICE_MOUSE]);