Searched refs:vmcs_write32 (Results 1 – 4 of 4) sorted by relevance
| /OK3568_Linux_fs/kernel/arch/x86/kvm/vmx/ |
| H A D | vmx.c | 909 vmcs_write32(PAGE_FAULT_ERROR_CODE_MASK, mask); in update_exception_bitmap() 910 vmcs_write32(PAGE_FAULT_ERROR_CODE_MATCH, mask); in update_exception_bitmap() 913 vmcs_write32(EXCEPTION_BITMAP, eb); in update_exception_bitmap() 1003 vmcs_write32(VM_ENTRY_MSR_LOAD_COUNT, m->guest.nr); in clear_atomic_switch_msr() 1012 vmcs_write32(VM_EXIT_MSR_LOAD_COUNT, m->host.nr); in clear_atomic_switch_msr() 1077 vmcs_write32(VM_ENTRY_MSR_LOAD_COUNT, m->guest.nr); in add_atomic_switch_msr() 1087 vmcs_write32(VM_EXIT_MSR_LOAD_COUNT, m->host.nr); in add_atomic_switch_msr() 1566 vmcs_write32(GUEST_INTERRUPTIBILITY_INFO, interruptibility); in vmx_set_interrupt_shadow() 1726 vmcs_write32(GUEST_ACTIVITY_STATE, GUEST_ACTIVITY_ACTIVE); in vmx_clear_hlt() 1750 vmcs_write32(VM_ENTRY_EXCEPTION_ERROR_CODE, (u16)error_code); in vmx_queue_exception() [all …]
|
| H A D | nested.c | 2270 vmcs_write32(TPR_THRESHOLD, vmcs12->tpr_threshold); in prepare_vmcs02_early() 2383 vmcs_write32(VM_ENTRY_INTR_INFO_FIELD, in prepare_vmcs02_early() 2385 vmcs_write32(VM_ENTRY_EXCEPTION_ERROR_CODE, in prepare_vmcs02_early() 2387 vmcs_write32(VM_ENTRY_INSTRUCTION_LEN, in prepare_vmcs02_early() 2389 vmcs_write32(GUEST_INTERRUPTIBILITY_INFO, in prepare_vmcs02_early() 2394 vmcs_write32(VM_ENTRY_INTR_INFO_FIELD, 0); in prepare_vmcs02_early() 2412 vmcs_write32(GUEST_ES_LIMIT, vmcs12->guest_es_limit); in prepare_vmcs02_rare() 2413 vmcs_write32(GUEST_CS_LIMIT, vmcs12->guest_cs_limit); in prepare_vmcs02_rare() 2414 vmcs_write32(GUEST_SS_LIMIT, vmcs12->guest_ss_limit); in prepare_vmcs02_rare() 2415 vmcs_write32(GUEST_DS_LIMIT, vmcs12->guest_ds_limit); in prepare_vmcs02_rare() [all …]
|
| H A D | vmx_ops.h | 188 static __always_inline void vmcs_write32(unsigned long field, u32 value) in vmcs_write32() function
|
| H A D | vmx.h | 385 vmcs_write32(uname, val); \
|