Constant sel4_sys::seL4_PGDIndexBits

pub const seL4_PGDIndexBits: u32 = 0;