Searched refs:vmcs_write64 (Results 1 – 1 of 1) sorted by relevance
| /linux-4.4.14/arch/x86/kvm/ |
| D | vmx.c | 1508 static void vmcs_write64(unsigned long field, u64 value) in vmcs_write64() function
1716 vmcs_write64(guest_val_vmcs, guest_val); in add_atomic_switch_msr_special()
1717 vmcs_write64(host_val_vmcs, host_val); in add_atomic_switch_msr_special()
2091 vmcs_write64(TSC_MULTIPLIER, vmx->current_tsc_ratio); in vmx_vcpu_load()
2347 vmcs_write64(MSR_BITMAP, __pa(msr_bitmap)); in vmx_set_msr_bitmap()
2442 vmcs_write64(TSC_OFFSET, offset + in vmx_write_tsc_offset()
2448 vmcs_write64(TSC_OFFSET, offset); in vmx_write_tsc_offset()
2456 vmcs_write64(TSC_OFFSET, offset + adjustment); in vmx_adjust_tsc_offset_guest()
2894 vmcs_write64(GUEST_BNDCFGS, data); in vmx_set_msr()
2903 vmcs_write64(GUEST_IA32_PAT, data); in vmx_set_msr()
[all …]
|