Constant CCODE::FILE_DEVICE_8042_PORT

pub const FILE_DEVICE_8042_PORT: u32 = 39;