unmap_donated_memory
unmap_donated_memory(hyp_vm, vm_size);
unmap_donated_memory(pgd, pgd_size);
unmap_donated_memory(hyp_vcpu, sizeof(*hyp_vcpu));