Searched refs:vm_vaddr_alloc_page (Results 1 – 8 of 8) sorted by relevance
80 vm_vaddr_t vmx_gva = vm_vaddr_alloc_page(vm); in vcpu_alloc_vmx()84 vmx->vmxon = (void *)vm_vaddr_alloc_page(vm); in vcpu_alloc_vmx()89 vmx->vmcs = (void *)vm_vaddr_alloc_page(vm); in vcpu_alloc_vmx()94 vmx->msr = (void *)vm_vaddr_alloc_page(vm); in vcpu_alloc_vmx()100 vmx->shadow_vmcs = (void *)vm_vaddr_alloc_page(vm); in vcpu_alloc_vmx()105 vmx->vmread = (void *)vm_vaddr_alloc_page(vm); in vcpu_alloc_vmx()110 vmx->vmwrite = (void *)vm_vaddr_alloc_page(vm); in vcpu_alloc_vmx()116 vmx->vp_assist = (void *)vm_vaddr_alloc_page(vm); in vcpu_alloc_vmx()121 vmx->enlightened_vmcs = (void *)vm_vaddr_alloc_page(vm); in vcpu_alloc_vmx()531 vmx->eptp = (void *)vm_vaddr_alloc_page(vm); in prepare_eptp()[all …]
33 vm_vaddr_t svm_gva = vm_vaddr_alloc_page(vm); in vcpu_alloc_svm()36 svm->vmcb = (void *)vm_vaddr_alloc_page(vm); in vcpu_alloc_svm()40 svm->save_area = (void *)vm_vaddr_alloc_page(vm); in vcpu_alloc_svm()
600 vm->gdt = vm_vaddr_alloc_page(vm); in kvm_setup_gdt()610 vm->tss = vm_vaddr_alloc_page(vm); in kvm_setup_tss_64bit()1300 vm->idt = vm_vaddr_alloc_page(vm); in vm_init_descriptor_tables()1301 vm->handlers = vm_vaddr_alloc_page(vm); in vm_init_descriptor_tables()
638 msr_gva = vm_vaddr_alloc_page(vm); in main()667 hcall_params = vm_vaddr_alloc_page(vm); in main()
217 tsc_page_gva = vm_vaddr_alloc_page(vm); in main()
430 test_data_page_vaddr = vm_vaddr_alloc_page(vm); in main()
147 vm_vaddr_t vm_vaddr_alloc_page(struct kvm_vm *vm);
1315 vm_vaddr_t vm_vaddr_alloc_page(struct kvm_vm *vm) in vm_vaddr_alloc_page() function
