Searched refs:exec_vmwrite16 (Results 1 – 7 of 7) sorted by relevance
| /hypervisor/arch/x86/guest/ |
| A D | vmcs.c | 105 exec_vmwrite16(VMX_HOST_ES_SEL, value16); in init_host_state() 109 exec_vmwrite16(VMX_HOST_CS_SEL, value16); in init_host_state() 113 exec_vmwrite16(VMX_HOST_SS_SEL, value16); in init_host_state() 117 exec_vmwrite16(VMX_HOST_DS_SEL, value16); in init_host_state() 121 exec_vmwrite16(VMX_HOST_FS_SEL, value16); in init_host_state() 125 exec_vmwrite16(VMX_HOST_GS_SEL, value16); in init_host_state() 128 exec_vmwrite16(VMX_HOST_TR_SEL, HOST_GDT_RING0_CPU_TSS_SEL); in init_host_state() 400 exec_vmwrite16(VMX_GUEST_INTR_STATUS, 0U); in init_exec_ctrl() 401 exec_vmwrite16(VMX_POSTED_INTR_VECTOR, (uint16_t)vcpu->arch.pid.control.bits.nv); in init_exec_ctrl()
|
| A D | vcpu.c | 726 exec_vmwrite16(VMX_VPID, vcpu->arch.vpid); in run_vcpu()
|
| A D | nested.c | 1393 exec_vmwrite16(VMX_GUEST_LDTR_SEL, 0U); in set_vmcs01_guest_state()
|
| A D | instr_emul.c | 482 exec_vmwrite16(field, (uint16_t)val); in vm_set_register()
|
| /hypervisor/arch/x86/ |
| A D | vmx.c | 193 void exec_vmwrite16(uint32_t field, uint16_t value) in exec_vmwrite16() function
|
| /hypervisor/include/arch/x86/asm/ |
| A D | vmx.h | 454 void exec_vmwrite16(uint32_t field, uint16_t value);
|
| /hypervisor/include/arch/x86/asm/guest/ |
| A D | vcpu.h | 125 exec_vmwrite16(SEG_NAME##_SEL, (seg).selector); \
|
Completed in 26 milliseconds