Lines Matching refs:exec_vmwrite32
37 exec_vmwrite32(VMX_GUEST_GDTR_LIMIT, ectx->gdtr.limit); in init_guest_vmx()
42 exec_vmwrite32(VMX_GUEST_IDTR_LIMIT, ectx->idtr.limit); in init_guest_vmx()
62 exec_vmwrite32(VMX_GUEST_IA32_SYSENTER_CS, 0U); in init_guest_vmx()
67 exec_vmwrite32(VMX_GUEST_INTERRUPTIBILITY_INFO, 0U); in init_guest_vmx()
68 exec_vmwrite32(VMX_GUEST_ACTIVITY_STATE, 0U); in init_guest_vmx()
69 exec_vmwrite32(VMX_GUEST_SMBASE, 0U); in init_guest_vmx()
214 exec_vmwrite32(VMX_HOST_IA32_SYSENTER_CS, msr_read(ACRN_PSEUDO_PCPUID_MSR)); in init_host_state()
281 exec_vmwrite32(VMX_PIN_VM_EXEC_CONTROLS, value32); in init_exec_ctrl()
323 exec_vmwrite32(VMX_PROC_VM_EXEC_CONTROLS, value32); in init_exec_ctrl()
359 exec_vmwrite32(VMX_TPR_THRESHOLD, 0U); in init_exec_ctrl()
371 exec_vmwrite32(VMX_PROC_VM_EXEC_CONTROLS2, value32); in init_exec_ctrl()
425 exec_vmwrite32(VMX_EXCEPTION_BITMAP, value32); in init_exec_ctrl()
431 exec_vmwrite32(VMX_PF_ERROR_CODE_MASK, 0U); in init_exec_ctrl()
437 exec_vmwrite32(VMX_PF_ERROR_CODE_MATCH, 0U); in init_exec_ctrl()
444 exec_vmwrite32(VMX_CR3_TARGET_COUNT, 0U); in init_exec_ctrl()
504 exec_vmwrite32(VMX_ENTRY_CONTROLS, value32); in init_entry_ctrl()
511 exec_vmwrite32(VMX_ENTRY_MSR_LOAD_COUNT, vcpu->arch.msr_area.count); in init_entry_ctrl()
515 exec_vmwrite32(VMX_ENTRY_INT_INFO_FIELD, 0U); in init_entry_ctrl()
518 exec_vmwrite32(VMX_ENTRY_EXCEPTION_ERROR_CODE, 0U); in init_entry_ctrl()
521 exec_vmwrite32(VMX_ENTRY_INSTR_LENGTH, 0U); in init_entry_ctrl()
541 exec_vmwrite32(VMX_EXIT_CONTROLS, value32); in init_exit_ctrl()
549 exec_vmwrite32(VMX_EXIT_MSR_STORE_COUNT, vcpu->arch.msr_area.count); in init_exit_ctrl()
550 exec_vmwrite32(VMX_EXIT_MSR_LOAD_COUNT, vcpu->arch.msr_area.count); in init_exit_ctrl()
620 exec_vmwrite32(VMX_PIN_VM_EXEC_CONTROLS, value32); in switch_apicv_mode_x2apic()
624 exec_vmwrite32(VMX_EXIT_CONTROLS, value32); in switch_apicv_mode_x2apic()
628 exec_vmwrite32(VMX_PROC_VM_EXEC_CONTROLS, vcpu->arch.proc_vm_exec_ctrls); in switch_apicv_mode_x2apic()
630 exec_vmwrite32(VMX_TPR_THRESHOLD, 0U); in switch_apicv_mode_x2apic()
639 exec_vmwrite32(VMX_PROC_VM_EXEC_CONTROLS2, value32); in switch_apicv_mode_x2apic()
647 exec_vmwrite32(VMX_PROC_VM_EXEC_CONTROLS2, value32); in switch_apicv_mode_x2apic()