ps2_service_notify_device_removed
ps2_service_notify_device_removed(dev);
ps2_service_notify_device_removed(&ps2_device[PS2_DEVICE_KEYB]);
void ps2_service_notify_device_removed(ps2_dev *dev);
ps2_service_notify_device_removed(sPassthroughDevice);