Lines Matching refs:exec_vmwrite64
169 exec_vmwrite64(VMX_HOST_IA32_PAT_FULL, value64); in init_host_state()
173 exec_vmwrite64(VMX_HOST_IA32_EFER_FULL, value64); in init_host_state()
363 exec_vmwrite64(VMX_XSS_EXITING_BITMAP_FULL, 0UL); in init_exec_ctrl()
379 exec_vmwrite64(VMX_PROC_VM_EXEC_CONTROLS3_FULL, value64); in init_exec_ctrl()
385 exec_vmwrite64(VMX_APIC_ACCESS_ADDR_FULL, value64); in init_exec_ctrl()
389 exec_vmwrite64(VMX_VIRTUAL_APIC_PAGE_ADDR_FULL, value64); in init_exec_ctrl()
395 exec_vmwrite64(VMX_EOI_EXIT0_FULL, 0UL); in init_exec_ctrl()
396 exec_vmwrite64(VMX_EOI_EXIT1_FULL, 0UL); in init_exec_ctrl()
397 exec_vmwrite64(VMX_EOI_EXIT2_FULL, 0UL); in init_exec_ctrl()
398 exec_vmwrite64(VMX_EOI_EXIT3_FULL, 0UL); in init_exec_ctrl()
402 exec_vmwrite64(VMX_PIR_DESC_ADDR_FULL, hva2hpa(get_pi_desc(vcpu))); in init_exec_ctrl()
410 exec_vmwrite64(VMX_EPT_POINTER_FULL, value64); in init_exec_ctrl()
448 exec_vmwrite64(VMX_IO_BITMAP_A_FULL, value64); in init_exec_ctrl()
451 exec_vmwrite64(VMX_IO_BITMAP_B_FULL, value64); in init_exec_ctrl()
457 exec_vmwrite64(VMX_EXECUTIVE_VMCS_PTR_FULL, 0UL); in init_exec_ctrl()
463 exec_vmwrite64(VMX_TSC_OFFSET_FULL, value64); in init_exec_ctrl()
466 exec_vmwrite64(VMX_VMS_LINK_PTR_FULL, 0xFFFFFFFFFFFFFFFFUL); in init_exec_ctrl()
512 exec_vmwrite64(VMX_ENTRY_MSR_LOAD_ADDR_FULL, hva2hpa((void *)vcpu->arch.msr_area.guest)); in init_entry_ctrl()
551 exec_vmwrite64(VMX_EXIT_MSR_STORE_ADDR_FULL, hva2hpa((void *)vcpu->arch.msr_area.guest)); in init_exit_ctrl()
552 exec_vmwrite64(VMX_EXIT_MSR_LOAD_ADDR_FULL, hva2hpa((void *)vcpu->arch.msr_area.host)); in init_exit_ctrl()