Constant mextk_sys::OS_CONSOLE_DEVHW4

pub const OS_CONSOLE_DEVHW4: u32 = 268435463;