Searched refs:vmcs_read32 (Results 1 – 1 of 1) sorted by relevance
2339 static __always_inline u32 vmcs_read32(unsigned long field) in vmcs_read32() function2370 field, value, vmcs_read32(VM_INSTRUCTION_ERROR)); in vmwrite_error()2446 vmx->vm_entry_controls_shadow = vmcs_read32(VM_ENTRY_CONTROLS); in vm_entry_controls_reset_shadow()2479 vmx->vm_exit_controls_shadow = vmcs_read32(VM_EXIT_CONTROLS); in vm_exit_controls_reset_shadow()2553 *p = vmcs_read32(kvm_vmx_segment_fields[seg].limit); in vmx_read_guest_seg_limit()2562 *p = vmcs_read32(kvm_vmx_segment_fields[seg].ar_bytes); in vmx_read_guest_seg_ar()3204 u32 interruptibility = vmcs_read32(GUEST_INTERRUPTIBILITY_INFO); in vmx_get_interrupt_shadow()3217 u32 interruptibility_old = vmcs_read32(GUEST_INTERRUPTIBILITY_INFO); in vmx_set_interrupt_shadow()3236 rip += vmcs_read32(VM_EXIT_INSTRUCTION_LEN); in skip_emulated_instruction()3317 vmcs_read32(GUEST_ACTIVITY_STATE) == GUEST_ACTIVITY_HLT) in vmx_clear_hlt()[all …]
