Searched refs:vmcs_write64 (Results 1 – 1 of 1) sorted by relevance
| /linux-4.1.27/arch/x86/kvm/ |
| D | vmx.c | 1434 static void vmcs_write64(unsigned long field, u64 value) in vmcs_write64() function
1642 vmcs_write64(guest_val_vmcs, guest_val); in add_atomic_switch_msr_special()
1643 vmcs_write64(host_val_vmcs, host_val); in add_atomic_switch_msr_special()
2203 vmcs_write64(MSR_BITMAP, __pa(msr_bitmap)); in vmx_set_msr_bitmap()
2313 vmcs_write64(TSC_OFFSET, offset + in vmx_write_tsc_offset()
2319 vmcs_write64(TSC_OFFSET, offset); in vmx_write_tsc_offset()
2327 vmcs_write64(TSC_OFFSET, offset + adjustment); in vmx_adjust_tsc_offset()
2761 vmcs_write64(GUEST_BNDCFGS, data); in vmx_set_msr()
2770 vmcs_write64(GUEST_IA32_PAT, data); in vmx_set_msr()
3511 vmcs_write64(GUEST_PDPTR0, mmu->pdptrs[0]); in ept_load_pdptrs()
[all …]
|