Constant FILE_DEVICE_8042_PORT 

pub const FILE_DEVICE_8042_PORT: u32 = 39u32;