Searched refs:vmcs_read32 (Results 1 – 3 of 3) sorted by relevance
568 field, value, vmcs_read32(VM_INSTRUCTION_ERROR)); in vmwrite_error()574 vmcs, phys_addr, vmcs_read32(VM_INSTRUCTION_ERROR)); in vmclear_error()580 vmcs, phys_addr, vmcs_read32(VM_INSTRUCTION_ERROR)); in vmptrld_error()889 *p = vmcs_read32(kvm_vmx_segment_fields[seg].limit); in vmx_read_guest_seg_limit()898 *p = vmcs_read32(kvm_vmx_segment_fields[seg].ar_bytes); in vmx_read_guest_seg_ar()1684 u32 interruptibility = vmcs_read32(GUEST_INTERRUPTIBILITY_INFO); in vmx_get_interrupt_shadow()1697 u32 interruptibility_old = vmcs_read32(GUEST_INTERRUPTIBILITY_INFO); in vmx_set_interrupt_shadow()1823 instr_len = vmcs_read32(VM_EXIT_INSTRUCTION_LEN); in skip_emulated_instruction()1921 vmcs_read32(GUEST_ACTIVITY_STATE) == GUEST_ACTIVITY_HLT) in vmx_clear_hlt()2168 msr_info->data = vmcs_read32(GUEST_SYSENTER_CS); in vmx_get_msr()[all …]
162 static __always_inline u32 vmcs_read32(unsigned long field) in vmcs_read32() function
339 vt->exit_intr_info = vmcs_read32(VM_EXIT_INTR_INFO); in vmx_get_intr_info()