map_donated_memory
hyp_vm = map_donated_memory(vm_hva, vm_size);
hyp_vcpu = map_donated_memory(vcpu_hva, sizeof(*hyp_vcpu));