Searched refs:vmcs_write64 (Results 1 – 1 of 1) sorted by relevance
| /Linux-v4.19/arch/x86/kvm/ |
| D | vmx.c | 2402 static __always_inline void vmcs_write64(unsigned long field, u64 value) in vmcs_write64() function
2709 vmcs_write64(guest_val_vmcs, guest_val); in add_atomic_switch_msr_special()
2710 vmcs_write64(host_val_vmcs, host_val); in add_atomic_switch_msr_special()
3051 vmcs_write64(TSC_MULTIPLIER, vmx->current_tsc_ratio); in decache_tsc_multiplier()
3448 vmcs_write64(TSC_OFFSET, offset + in vmx_write_tsc_offset()
3454 vmcs_write64(TSC_OFFSET, offset); in vmx_write_tsc_offset()
3849 vmcs_write64(VMWRITE_BITMAP, __pa(vmx_vmwrite_bitmap)); in vmx_restore_vmx_misc()
4199 vmcs_write64(GUEST_BNDCFGS, data); in vmx_set_msr()
4267 vmcs_write64(GUEST_IA32_PAT, data); in vmx_set_msr()
5174 vmcs_write64(GUEST_PDPTR0, mmu->pdptrs[0]); in ept_load_pdptrs()
[all …]
|
