Searched refs:vm_vaddr_alloc_page (Results 1 – 11 of 11) sorted by relevance
77 vm_vaddr_t vmx_gva = vm_vaddr_alloc_page(vm); in vcpu_alloc_vmx()81 vmx->vmxon = (void *)vm_vaddr_alloc_page(vm); in vcpu_alloc_vmx()86 vmx->vmcs = (void *)vm_vaddr_alloc_page(vm); in vcpu_alloc_vmx()91 vmx->msr = (void *)vm_vaddr_alloc_page(vm); in vcpu_alloc_vmx()97 vmx->shadow_vmcs = (void *)vm_vaddr_alloc_page(vm); in vcpu_alloc_vmx()102 vmx->vmread = (void *)vm_vaddr_alloc_page(vm); in vcpu_alloc_vmx()107 vmx->vmwrite = (void *)vm_vaddr_alloc_page(vm); in vcpu_alloc_vmx()113 vmx->vp_assist = (void *)vm_vaddr_alloc_page(vm); in vcpu_alloc_vmx()118 vmx->enlightened_vmcs = (void *)vm_vaddr_alloc_page(vm); in vcpu_alloc_vmx()568 vmx->eptp = (void *)vm_vaddr_alloc_page(vm); in prepare_eptp()[all …]
34 vm_vaddr_t svm_gva = vm_vaddr_alloc_page(vm); in vcpu_alloc_svm()37 svm->vmcb = (void *)vm_vaddr_alloc_page(vm); in vcpu_alloc_svm()41 svm->save_area = (void *)vm_vaddr_alloc_page(vm); in vcpu_alloc_svm()45 svm->msr = (void *)vm_vaddr_alloc_page(vm); in vcpu_alloc_svm()
555 vm->gdt = vm_vaddr_alloc_page(vm); in kvm_setup_gdt()565 vm->tss = vm_vaddr_alloc_page(vm); in kvm_setup_tss_64bit()1135 vm->idt = vm_vaddr_alloc_page(vm); in vm_init_descriptor_tables()1136 vm->handlers = vm_vaddr_alloc_page(vm); in vm_init_descriptor_tables()
158 idt_alt_vm = vm_vaddr_alloc_page(vm); in run_test()
123 msr_gva = vm_vaddr_alloc_page(vm); in guest_test_msrs_access()487 hcall_params = vm_vaddr_alloc_page(vm); in guest_test_hcalls_access()
220 tsc_page_gva = vm_vaddr_alloc_page(vm); in main()
332 amx_cfg = vm_vaddr_alloc_page(vm); in main()
425 test_data_page_vaddr = vm_vaddr_alloc_page(vm); in main()
765 args_gva = vm_vaddr_alloc_page(vm); in test_vgic()
388 vm_vaddr_t vm_vaddr_alloc_page(struct kvm_vm *vm);
1299 vm_vaddr_t vm_vaddr_alloc_page(struct kvm_vm *vm) in vm_vaddr_alloc_page() function