Home
last modified time | relevance | path

Searched refs:vmcs_write64 (Results 1 – 4 of 4) sorted by relevance

/linux/arch/x86/kvm/vmx/
H A Dsgx.h30 vmcs_write64(ENCLS_EXITING_BITMAP, -1ull); in vmx_write_encls_bitmap()
H A Dvmx.c1064 vmcs_write64(guest_val_vmcs, guest_val); in add_atomic_switch_msr_special()
1066 vmcs_write64(host_val_vmcs, host_val); in add_atomic_switch_msr_special()
2066 vmcs_write64(TSC_OFFSET, vcpu->arch.tsc_offset); in vmx_write_tsc_offset()
2071 vmcs_write64(TSC_MULTIPLIER, vcpu->arch.tsc_scaling_ratio); in vmx_write_tsc_multiplier()
2428 vmcs_write64(GUEST_BNDCFGS, data); in vmx_set_msr()
2485 vmcs_write64(GUEST_IA32_PAT, data); in vmx_set_msr()
2537 vmcs_write64(GUEST_IA32_RTIT_CTL, data); in vmx_set_msr()
3409 vmcs_write64(GUEST_PDPTR0, vcpu->arch.pdptrs[0]); in vmx_ept_load_pdptrs()
3410 vmcs_write64(GUEST_PDPTR1, vcpu->arch.pdptrs[1]); in vmx_ept_load_pdptrs()
3411 vmcs_write64(GUEST_PDPTR2, vcpu->arch.pdptrs[2]); in vmx_ept_load_pdptrs()
[all …]
H A Dvmx_ops.h245 static __always_inline void vmcs_write64(unsigned long field, u64 value) in vmcs_write64() function
H A Dvmx.h412 vmcs_write64(GUEST_IA32_DEBUGCTL, val); in vmx_guest_debugctl_write()