Device type can be undefined if kbdclass or mouclass is not loaded.

svn path=/trunk/; revision=35412
This commit is contained in:
Hervé Poussineau 2008-08-17 18:11:32 +00:00
parent 4aa45a6803
commit 878ef89965

View file

@ -617,8 +617,8 @@ i8042PnpStartDevice(
}
default:
{
ERR_(I8042PRT, "Unknown FDO type %u\n", DeviceExtension->Type);
ASSERT(FALSE);
WARN_(I8042PRT, "Unknown FDO type %u\n", DeviceExtension->Type);
ASSERT(!(PortDeviceExtension->Flags & KEYBOARD_CONNECTED) || !(PortDeviceExtension->Flags & MOUSE_CONNECTED));
Status = STATUS_INVALID_DEVICE_REQUEST;
}
}