Constant seL4_PageDirIndexBits 

pub const seL4_PageDirIndexBits: u32 = 12;