teardown_donated_memory
teardown_donated_memory(mc, hyp_vcpu, sizeof(*hyp_vcpu));
teardown_donated_memory(mc, hyp_vm, vm_size);