Searched refs:vmcs_read32 (Results 1 – 1 of 1) sorted by relevance
1467 static __always_inline u32 vmcs_read32(unsigned long field) in vmcs_read32() function1484 field, value, vmcs_read32(VM_INSTRUCTION_ERROR)); in vmwrite_error()1626 *p = vmcs_read32(kvm_vmx_segment_fields[seg].limit); in vmx_read_guest_seg_limit()1635 *p = vmcs_read32(kvm_vmx_segment_fields[seg].ar_bytes); in vmx_read_guest_seg_ar()2216 u32 interruptibility = vmcs_read32(GUEST_INTERRUPTIBILITY_INFO); in vmx_get_interrupt_shadow()2229 u32 interruptibility_old = vmcs_read32(GUEST_INTERRUPTIBILITY_INFO); in vmx_set_interrupt_shadow()2248 rip += vmcs_read32(VM_EXIT_INSTRUCTION_LEN); in skip_emulated_instruction()2267 vmcs_read32(VM_EXIT_INTR_INFO), in nested_vmx_check_exception()2806 msr_info->data = vmcs_read32(GUEST_SYSENTER_CS); in vmx_get_msr()3587 guest_tr_ar = vmcs_read32(GUEST_TR_AR_BYTES); in enter_lmode()[all …]