PT_HIOS

Constant PT_HIOS 

Source
pub const PT_HIOS: u32 = 0x6fffffff;