Searched refs:exec_vmwrite64 (Results 1 – 10 of 10) sorted by relevance
| /hypervisor/arch/x86/guest/ |
| A D | vmcs.c | 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() 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() 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() [all …]
|
| A D | virtual_cr.c | 147 exec_vmwrite64(VMX_GUEST_PDPTE0_FULL, pdpte[0]); in load_pdptrs() 148 exec_vmwrite64(VMX_GUEST_PDPTE1_FULL, pdpte[1]); in load_pdptrs() 149 exec_vmwrite64(VMX_GUEST_PDPTE2_FULL, pdpte[2]); in load_pdptrs() 150 exec_vmwrite64(VMX_GUEST_PDPTE3_FULL, pdpte[3]); in load_pdptrs() 301 exec_vmwrite64(VMX_GUEST_IA32_PAT_FULL, PAT_ALL_UC_VALUE); in vmx_write_cr0() 304 exec_vmwrite64(VMX_GUEST_IA32_PAT_FULL, in vmx_write_cr0()
|
| A D | trusty.c | 176 exec_vmwrite64(VMX_TSC_OFFSET_FULL, ext_ctx->tsc_offset); in load_world_ctx() 181 exec_vmwrite64(VMX_GUEST_IA32_DEBUGCTL_FULL, ext_ctx->ia32_debugctl); in load_world_ctx() 182 exec_vmwrite64(VMX_GUEST_IA32_PAT_FULL, ext_ctx->ia32_pat); in load_world_ctx() 241 exec_vmwrite64(VMX_EPT_POINTER_FULL, in switch_world() 249 exec_vmwrite64(VMX_EPT_POINTER_FULL, in switch_world() 380 exec_vmwrite64(VMX_EPT_POINTER_FULL, in initialize_trusty()
|
| A D | vcpu.c | 164 exec_vmwrite64(VMX_EOI_EXIT0_FULL, vcpu->arch.eoi_exit_bitmap[0]); in vcpu_set_vmcs_eoi_exit() 165 exec_vmwrite64(VMX_EOI_EXIT1_FULL, vcpu->arch.eoi_exit_bitmap[1]); in vcpu_set_vmcs_eoi_exit() 166 exec_vmwrite64(VMX_EOI_EXIT2_FULL, vcpu->arch.eoi_exit_bitmap[2]); in vcpu_set_vmcs_eoi_exit() 167 exec_vmwrite64(VMX_EOI_EXIT3_FULL, vcpu->arch.eoi_exit_bitmap[3]); in vcpu_set_vmcs_eoi_exit() 670 exec_vmwrite64(VMX_GUEST_IA32_EFER_FULL, ctx->ia32_efer); in write_cached_registers()
|
| A D | vmsr.c | 555 exec_vmwrite64(VMX_MSR_BITMAP_FULL, value64); in init_msr_emulation() 591 exec_vmwrite64(VMX_GUEST_IA32_PAT_FULL, value); in write_pat_msr() 952 exec_vmwrite64(VMX_TSC_OFFSET_FULL, tsc_delta); in set_guest_tsc() 998 exec_vmwrite64(VMX_TSC_OFFSET_FULL, tsc_offset + tsc_adjust_delta); in set_guest_tsc_adjust()
|
| A D | nested.c | 1346 exec_vmwrite64(VMX_GUEST_IA32_DEBUGCTL_FULL, 0UL); in set_vmcs01_guest_state()
|
| A D | instr_emul.c | 480 exec_vmwrite64(field, val); in vm_set_register()
|
| /hypervisor/arch/x86/ |
| A D | vmx.c | 180 void exec_vmwrite64(uint32_t field_full, uint64_t value) in exec_vmwrite64() function 190 exec_vmwrite64(field, (uint64_t)value); in exec_vmwrite32() 195 exec_vmwrite64(field, (uint64_t)value); in exec_vmwrite16()
|
| /hypervisor/include/arch/x86/asm/ |
| A D | vmx.h | 456 void exec_vmwrite64(uint32_t field_full, uint64_t value); 457 #define exec_vmwrite exec_vmwrite64
|
| /hypervisor/debug/ |
| A D | profiling.c | 138 exec_vmwrite64(VMX_EXIT_MSR_LOAD_ADDR_FULL, hva2hpa(ss->vmexit_msr_list)); in profiling_enable_pmu() 145 exec_vmwrite64(VMX_GUEST_IA32_DEBUGCTL_FULL, in profiling_enable_pmu() 190 exec_vmwrite64(VMX_EXIT_MSR_LOAD_ADDR_FULL, hva2hpa(vcpu->arch.msr_area.host)); in profiling_disable_pmu()
|
Completed in 21 milliseconds