seL4_PDPTBits

Constant seL4_PDPTBits 

Source
pub const seL4_PDPTBits: u32 = 12;