Constant seL4_TeraPageBits 

pub const seL4_TeraPageBits: u32 = 39;