ps2_service_notify_device_added
ps2_service_notify_device_added(&ps2_device[PS2_DEVICE_MOUSE]);
ps2_service_notify_device_added(&ps2_device[PS2_DEVICE_MOUSE + idx]);
ps2_service_notify_device_added(&ps2_device[PS2_DEVICE_KEYB]);
ps2_service_notify_device_added(&ps2_device[PS2_DEVICE_MOUSE]);
ps2_service_notify_device_added(&ps2_device[PS2_DEVICE_KEYB]);
ps2_service_notify_device_added(dev);
ps2_service_notify_device_added(dev);
void ps2_service_notify_device_added(ps2_dev *dev);
ps2_service_notify_device_added(sPassthroughDevice);