Searched refs:vmcs_write64 (Results 1 – 6 of 6) sorted by relevance
| /arch/x86/kvm/vmx/ |
| A D | sgx.h | 30 vmcs_write64(ENCLS_EXITING_BITMAP, -1ull); in vmx_write_encls_bitmap()
|
| A D | nested.c | 225 vmcs_write64(VMCS_LINK_POINTER, INVALID_GPA); in vmx_disable_shadow_vmcs() 2286 vmcs_write64(EPT_POINTER, in prepare_vmcs02_constant_state() 2294 vmcs_write64(VM_FUNCTION_CONTROL, 0); in prepare_vmcs02_constant_state() 2308 vmcs_write64(PML_ADDRESS, 0); in prepare_vmcs02_constant_state() 2313 vmcs_write64(ENCLS_EXITING_BITMAP, INVALID_GPA); in prepare_vmcs02_constant_state() 2335 vmcs_write64(VMCS_LINK_POINTER, INVALID_GPA); in prepare_vmcs02_early_rare() 2708 vmcs_write64(TSC_OFFSET, vcpu->arch.tsc_offset); in prepare_vmcs02() 3395 vmcs_write64(POSTED_INTR_DESC_ADDR, in nested_get_vmcs12_pages() 4753 vmcs_write64(GUEST_BNDCFGS, 0); in load_vmcs12_host_state() 5055 vmcs_write64(TSC_OFFSET, vcpu->arch.tsc_offset); in __nested_vmx_vmexit() [all …]
|
| A D | vmx.c | 979 vmcs_write64(host_val_vmcs, host_val); in add_atomic_switch_msr_special() 2251 vmcs_write64(GUEST_BNDCFGS, data); in vmx_set_msr() 2308 vmcs_write64(GUEST_IA32_PAT, data); in vmx_set_msr() 3391 vmcs_write64(EPT_POINTER, eptp); in vmx_load_mmu_pgd() 4634 vmcs_write64(VE_INFORMATION_ADDRESS, in init_vmcs() 4642 vmcs_write64(EOI_EXIT_BITMAP0, 0); in init_vmcs() 4643 vmcs_write64(EOI_EXIT_BITMAP1, 0); in init_vmcs() 4644 vmcs_write64(EOI_EXIT_BITMAP2, 0); in init_vmcs() 4645 vmcs_write64(EOI_EXIT_BITMAP3, 0); in init_vmcs() 4678 vmcs_write64(VM_FUNCTION_CONTROL, 0); in init_vmcs() [all …]
|
| A D | vmx_ops.h | 248 static __always_inline void vmcs_write64(unsigned long field, u64 value) in vmcs_write64() function
|
| A D | sgx.c | 509 vmcs_write64(ENCLS_EXITING_BITMAP, bitmap); in vmx_write_encls_bitmap()
|
| A D | vmx.h | 420 vmcs_write64(GUEST_IA32_DEBUGCTL, val); in vmx_guest_debugctl_write()
|
Completed in 33 milliseconds