vm_vaddr_alloc_page
args_gva = vm_vaddr_alloc_page(vm);
args_gva = vm_vaddr_alloc_page(vm);
vm_vaddr_t vm_vaddr_alloc_page(struct kvm_vm *vm);
vm_vaddr_t hv_pages_gva = vm_vaddr_alloc_page(vm);
hv->vp_assist = (void *)vm_vaddr_alloc_page(vm);
hv->partition_assist = (void *)vm_vaddr_alloc_page(vm);
hv->enlightened_vmcs = (void *)vm_vaddr_alloc_page(vm);
vm_vaddr_t svm_gva = vm_vaddr_alloc_page(vm);
svm->vmcb = (void *)vm_vaddr_alloc_page(vm);
svm->save_area = (void *)vm_vaddr_alloc_page(vm);
svm->msr = (void *)vm_vaddr_alloc_page(vm);
vmx->shadow_vmcs = (void *)vm_vaddr_alloc_page(vm);
vmx->vmread = (void *)vm_vaddr_alloc_page(vm);
vmx->vmwrite = (void *)vm_vaddr_alloc_page(vm);
vmx->apic_access = (void *)vm_vaddr_alloc_page(vm);
vm_vaddr_t vmx_gva = vm_vaddr_alloc_page(vm);
vmx->vmxon = (void *)vm_vaddr_alloc_page(vm);
vmx->vmcs = (void *)vm_vaddr_alloc_page(vm);
vmx->msr = (void *)vm_vaddr_alloc_page(vm);
amx_cfg = vm_vaddr_alloc_page(vm);
tsc_page_gva = vm_vaddr_alloc_page(vm);
msr_gva = vm_vaddr_alloc_page(vm);
hcall_params = vm_vaddr_alloc_page(vm);
test_data_page = vm_vaddr_alloc_page(vm);
idt_alt_vm = vm_vaddr_alloc_page(vm);
test_data_page_vaddr = vm_vaddr_alloc_page(vm);