Constant FILE_DEVICE_CONSOLE 

pub const FILE_DEVICE_CONSOLE: u32 = 80u32;