pub type __guest_handle_const_mmu_update_t = *const mmu_update_t;