vcpu_alloc_vmx
struct vmx_pages *vcpu_alloc_vmx(struct kvm_vm *vm, vm_vaddr_t *p_vmx_gva);
vcpu_alloc_vmx(vm, &nested_gva);
vcpu_alloc_vmx(vm, &nested_test_data_gva);
vcpu_alloc_vmx(vm, &vmx_pages_gva);
vcpu_alloc_vmx(vm, &vmx_pages_gva);
vcpu_alloc_vmx(vm, &nested_test_data_gva);
vcpu_alloc_vmx(vm, &guest_gva);
vcpu_alloc_vmx(vm, &nested_gva);
vcpu_alloc_vmx(vm, &nested_test_data_gva);
vcpu_alloc_vmx(vm, &nested_test_data_gva);
vcpu_alloc_vmx(vm, &guest_gva);
vcpu_alloc_vmx(vm, &nested_gva);
vcpu_alloc_vmx(vm, &guest_gva);
vcpu_alloc_vmx(vm, &nested_gva);
vcpu_alloc_vmx(vm, &nested_gva);
vcpu_alloc_vmx(vm, &vmx_pages_gva);
vmx = vcpu_alloc_vmx(vm, &vmx_pages_gva);
vmx = vcpu_alloc_vmx(vm, &vmx_pages_gva);
vcpu_alloc_vmx(vm, &vmx_pages_gva);
vcpu_alloc_vmx(vm, &vmx_pages_gva);
vcpu_alloc_vmx(vm, &vmx_pages_gva);