pub const __HYPERVISOR_mmu_update: u32 = 1;