pub type __guest_handle_mmu_update_t = *mut mmu_update_t;