seL4_SectionBits

Constant seL4_SectionBits 

Source
pub const seL4_SectionBits: u32 = 20;