Constant MMU_GUEST_SIZE_SHIFT 

pub const MMU_GUEST_SIZE_SHIFT: u32 = 48;