Searched refs:vmcs_read32 (Results 1 – 1 of 1) sorted by relevance
1393 static __always_inline u32 vmcs_read32(unsigned long field) in vmcs_read32() function1410 field, value, vmcs_read32(VM_INSTRUCTION_ERROR)); in vmwrite_error()1552 *p = vmcs_read32(kvm_vmx_segment_fields[seg].limit); in vmx_read_guest_seg_limit()1561 *p = vmcs_read32(kvm_vmx_segment_fields[seg].ar_bytes); in vmx_read_guest_seg_ar()2071 u32 interruptibility = vmcs_read32(GUEST_INTERRUPTIBILITY_INFO); in vmx_get_interrupt_shadow()2084 u32 interruptibility_old = vmcs_read32(GUEST_INTERRUPTIBILITY_INFO); in vmx_set_interrupt_shadow()2103 rip += vmcs_read32(VM_EXIT_INSTRUCTION_LEN); in skip_emulated_instruction()2122 vmcs_read32(VM_EXIT_INTR_INFO), in nested_vmx_check_exception()2672 data = vmcs_read32(GUEST_SYSENTER_CS); in vmx_get_msr()3450 guest_tr_ar = vmcs_read32(GUEST_TR_AR_BYTES); in enter_lmode()[all …]