const FILE_DEVICE_8042_PORT: DEVICE_TYPE = 39;