vmcs_read32
vmcs12->guest_es_limit = vmcs_read32(GUEST_ES_LIMIT);
vmcs12->guest_cs_limit = vmcs_read32(GUEST_CS_LIMIT);
vmcs12->guest_ss_limit = vmcs_read32(GUEST_SS_LIMIT);
vmcs12->guest_ds_limit = vmcs_read32(GUEST_DS_LIMIT);
vmcs12->guest_fs_limit = vmcs_read32(GUEST_FS_LIMIT);
vmcs12->guest_gs_limit = vmcs_read32(GUEST_GS_LIMIT);
vmcs12->guest_ldtr_limit = vmcs_read32(GUEST_LDTR_LIMIT);
vmcs12->guest_tr_limit = vmcs_read32(GUEST_TR_LIMIT);
vmcs12->guest_gdtr_limit = vmcs_read32(GUEST_GDTR_LIMIT);
vmcs12->guest_idtr_limit = vmcs_read32(GUEST_IDTR_LIMIT);
vmcs12->guest_es_ar_bytes = vmcs_read32(GUEST_ES_AR_BYTES);
vmcs12->guest_ds_ar_bytes = vmcs_read32(GUEST_DS_AR_BYTES);
vmcs12->guest_fs_ar_bytes = vmcs_read32(GUEST_FS_AR_BYTES);
vmcs12->guest_gs_ar_bytes = vmcs_read32(GUEST_GS_AR_BYTES);
vmcs12->guest_ldtr_ar_bytes = vmcs_read32(GUEST_LDTR_AR_BYTES);
vmcs12->guest_tr_ar_bytes = vmcs_read32(GUEST_TR_AR_BYTES);
vmcs12->guest_cs_ar_bytes = vmcs_read32(GUEST_CS_AR_BYTES);
vmcs12->guest_ss_ar_bytes = vmcs_read32(GUEST_SS_AR_BYTES);
vmcs_read32(GUEST_INTERRUPTIBILITY_INFO);
vmcs12->vmx_instruction_info = vmcs_read32(VMX_INSTRUCTION_INFO);
WARN_ON_ONCE(vmcs_read32(VM_INSTRUCTION_ERROR) !=
vmcs_read32(VMX_INSTRUCTION_INFO), false,
u32 instr_info = vmcs_read32(VMX_INSTRUCTION_INFO);
u32 instr_info = vmcs_read32(VMX_INSTRUCTION_INFO);
u32 instr_info = vmcs_read32(VMX_INSTRUCTION_INFO);
vmx_instruction_info = vmcs_read32(VMX_INSTRUCTION_INFO);
vmx_instruction_info = vmcs_read32(VMX_INSTRUCTION_INFO);
vmx_instruction_info = vmcs_read32(VMX_INSTRUCTION_INFO);
vmcs_read32(VM_INSTRUCTION_ERROR));
vmcs_read32(VM_EXIT_INTR_ERROR_CODE);
exit_insn_len = vmcs_read32(VM_EXIT_INSTRUCTION_LEN);
u32 interruptibility = vmcs_read32(GUEST_INTERRUPTIBILITY_INFO);
u32 interruptibility_old = vmcs_read32(GUEST_INTERRUPTIBILITY_INFO);
instr_len = vmcs_read32(VM_EXIT_INSTRUCTION_LEN);
vmcs_read32(GUEST_ACTIVITY_STATE) == GUEST_ACTIVITY_HLT)
msr_info->data = vmcs_read32(GUEST_SYSENTER_CS);
guest_tr_ar = vmcs_read32(GUEST_TR_AR_BYTES);
ar = vmcs_read32(GUEST_SS_AR_BYTES);
dt->size = vmcs_read32(GUEST_IDTR_LIMIT);
dt->size = vmcs_read32(GUEST_GDTR_LIMIT);
vmcs_read32(GUEST_INTERRUPTIBILITY_INFO) & GUEST_INTR_STATE_STI) {
masked = vmcs_read32(GUEST_INTERRUPTIBILITY_INFO) & GUEST_INTR_STATE_NMI;
return (vmcs_read32(GUEST_INTERRUPTIBILITY_INFO) &
(vmcs_read32(GUEST_INTERRUPTIBILITY_INFO) &
vmcs_read32(VM_EXIT_INSTRUCTION_LEN);
error_code = vmcs_read32(VM_EXIT_INTR_ERROR_CODE);
vmcs_read32(VM_EXIT_INSTRUCTION_LEN);
field, value, vmcs_read32(VM_INSTRUCTION_ERROR));
vmcs, phys_addr, vmcs_read32(VM_INSTRUCTION_ERROR));
vmcs, phys_addr, vmcs_read32(VM_INSTRUCTION_ERROR));
vmcs_read32(IDT_VECTORING_ERROR_CODE);
vmx_instruction_info = vmcs_read32(VMX_INSTRUCTION_INFO);
return vmx_get_instr_info_reg(vmcs_read32(VMX_INSTRUCTION_INFO));
*error_code = vmcs_read32(VM_EXIT_INTR_ERROR_CODE);
*intr_info = vmcs_read32(VM_ENTRY_INTR_INFO_FIELD);
*error_code = vmcs_read32(VM_ENTRY_EXCEPTION_ERROR_CODE);
vmcs_read32(sel + GUEST_ES_AR_BYTES - GUEST_ES_SELECTOR),
vmcs_read32(sel + GUEST_ES_LIMIT - GUEST_ES_SELECTOR),
name, vmcs_read32(limit),
vmentry_ctl = vmcs_read32(VM_ENTRY_CONTROLS);
vmexit_ctl = vmcs_read32(VM_EXIT_CONTROLS);
cpu_based_exec_ctrl = vmcs_read32(CPU_BASED_VM_EXEC_CONTROL);
pin_based_exec_ctrl = vmcs_read32(PIN_BASED_VM_EXEC_CONTROL);
secondary_exec_control = vmcs_read32(SECONDARY_VM_EXEC_CONTROL);
vmcs_read32(GUEST_SYSENTER_CS), vmcs_readl(GUEST_SYSENTER_EIP));
vmcs_read32(GUEST_INTERRUPTIBILITY_INFO),
vmcs_read32(GUEST_ACTIVITY_STATE));
if (vmcs_read32(VM_ENTRY_MSR_LOAD_COUNT) > 0)
if (vmcs_read32(VM_EXIT_MSR_STORE_COUNT) > 0)
vmcs_read32(HOST_IA32_SYSENTER_CS),
if (vmcs_read32(VM_EXIT_MSR_LOAD_COUNT) > 0)
vmcs_read32(EXCEPTION_BITMAP),
vmcs_read32(PAGE_FAULT_ERROR_CODE_MASK),
vmcs_read32(PAGE_FAULT_ERROR_CODE_MATCH));
vmcs_read32(VM_ENTRY_INTR_INFO_FIELD),
vmcs_read32(VM_ENTRY_EXCEPTION_ERROR_CODE),
vmcs_read32(VM_ENTRY_INSTRUCTION_LEN));
vmcs_read32(VM_EXIT_INTR_INFO),
vmcs_read32(VM_EXIT_INTR_ERROR_CODE),
vmcs_read32(VM_EXIT_INSTRUCTION_LEN));
vmcs_read32(VM_EXIT_REASON), vmcs_readl(EXIT_QUALIFICATION));
vmcs_read32(IDT_VECTORING_INFO_FIELD),
vmcs_read32(IDT_VECTORING_ERROR_CODE));
pr_cont("TPR Threshold = 0x%02x\n", vmcs_read32(TPR_THRESHOLD));
vmcs_read32(PLE_GAP), vmcs_read32(PLE_WINDOW));
= vmcs_read32(VM_INSTRUCTION_ERROR);
!(vmcs_read32(GUEST_INTERRUPTIBILITY_INFO)
vcpu->arch.event_exit_inst_len = vmcs_read32(instr_len_field);
error_code = vmcs_read32(error_code_field);
vcpu->arch.event_exit_inst_len = vmcs_read32(instr_len_field);
vmcs_read32(VM_ENTRY_INTR_INFO_FIELD),
vmx->vt.exit_reason.full = vmcs_read32(VM_EXIT_REASON);
vmx->idt_vectoring_info = vmcs_read32(IDT_VECTORING_INFO_FIELD);
*p = vmcs_read32(kvm_vmx_segment_fields[seg].limit);
*p = vmcs_read32(kvm_vmx_segment_fields[seg].ar_bytes);
vt->exit_intr_info = vmcs_read32(VM_EXIT_INTR_INFO);