Constant FILE_DEVICE_8042_PORT

pub const FILE_DEVICE_8042_PORT: u32 = 39u32;