Searched refs:vmcs_write32 (Results 1 – 1 of 1) sorted by relevance
| /Linux-v4.19/arch/x86/kvm/ |
| D | vmx.c | 2393 static __always_inline void vmcs_write32(unsigned long field, u32 value) in vmcs_write32() function
2451 vmcs_write32(VM_ENTRY_CONTROLS, val); in vm_entry_controls_init()
2484 vmcs_write32(VM_EXIT_CONTROLS, val); in vm_exit_controls_init()
2597 vmcs_write32(EXCEPTION_BITMAP, eb); in update_exception_bitmap()
2692 vmcs_write32(VM_ENTRY_MSR_LOAD_COUNT, m->guest.nr); in clear_atomic_switch_msr()
2701 vmcs_write32(VM_EXIT_MSR_LOAD_COUNT, m->host.nr); in clear_atomic_switch_msr()
2764 vmcs_write32(VM_ENTRY_MSR_LOAD_COUNT, m->guest.nr); in add_atomic_switch_msr()
2774 vmcs_write32(VM_EXIT_MSR_LOAD_COUNT, m->host.nr); in add_atomic_switch_msr()
3228 vmcs_write32(GUEST_INTERRUPTIBILITY_INFO, interruptibility); in vmx_set_interrupt_shadow()
3318 vmcs_write32(GUEST_ACTIVITY_STATE, GUEST_ACTIVITY_ACTIVE); in vmx_clear_hlt()
[all …]
|
