vmcs_read
uint64_t vmcs_read(uint32_t encoding);
uint64_t info = vmcs_read(VMCS_ENTRY_INTR_INFO);
errcode = vmcs_read(VMCS_ENTRY_EXCEPTION_ERROR);
ASSERT0(vmcs_read(VMCS_GUEST_INTERRUPTIBILITY) & NMI_BLOCKING);
ASSERT0(vmcs_read(VMCS_ENTRY_INTR_INFO) & VMCS_INTR_VALID);
gi = vmcs_read(VMCS_GUEST_INTERRUPTIBILITY);
info = vmcs_read(VMCS_ENTRY_INTR_INFO);
(vmcs_read(VMCS_GUEST_RFLAGS) & PSL_I) == 0) {
uint16_t status_old = vmcs_read(VMCS_GUEST_INTR_STATUS);
ASSERT0(vmcs_read(VMCS_ENTRY_INTR_INFO) & VMCS_INTR_VALID);
if ((vmcs_read(VMCS_GUEST_INTERRUPTIBILITY) & HWINTR_BLOCKING) != 0 ||
(vmcs_read(VMCS_GUEST_RFLAGS) & PSL_I) == 0) {
gi = vmcs_read(VMCS_GUEST_INTERRUPTIBILITY);
gi = vmcs_read(VMCS_GUEST_INTERRUPTIBILITY);
gi = vmcs_read(VMCS_GUEST_INTERRUPTIBILITY);
!(vmcs_read(VMCS_GUEST_CR4) & CR4_XSAVE)) {
return (vmcs_read(VMCS_GUEST_RSP));
ctrl = vmcs_read(VMCS_ENTRY_CTLS);
const uint64_t old = vmcs_read(VMCS_GUEST_CR0);
efer = vmcs_read(VMCS_GUEST_IA32_EFER);
ssar = vmcs_read(VMCS_GUEST_SS_ACCESS_RIGHTS);
if (vmcs_read(VMCS_GUEST_IA32_EFER) & EFER_LMA) {
csar = vmcs_read(VMCS_GUEST_CS_ACCESS_RIGHTS);
} else if (vmcs_read(VMCS_GUEST_CR0) & CR0_PE) {
if (!(vmcs_read(VMCS_GUEST_CR0) & CR0_PG))
if (!(vmcs_read(VMCS_GUEST_CR4) & CR4_PAE))
if (vmcs_read(VMCS_GUEST_IA32_EFER) & EFER_LME)
paging->cr3 = vmcs_read(VMCS_GUEST_CR3);
vmexit->u.mmio_emul.cs_base = vmcs_read(VMCS_GUEST_CS_BASE);
vmexit->u.mmio_emul.cs_base = vmcs_read(VMCS_GUEST_CS_BASE);
csar = vmcs_read(VMCS_GUEST_CS_ACCESS_RIGHTS);
inst_info = vmcs_read(VMCS_EXIT_INSTRUCTION_INFO);
idtvec_info = vmcs_read(VMCS_IDT_VECTORING_INFO);
errcode = vmcs_read(VMCS_IDT_VECTORING_ERROR);
vmcs_read(VMCS_IDT_VECTORING_ERROR);
vmexit->u.hlt.rflags = vmcs_read(VMCS_GUEST_RFLAGS);
intr_info = vmcs_read(VMCS_EXIT_INTR_INFO);
intr_info = vmcs_read(VMCS_EXIT_INTR_INFO);
errcode = vmcs_read(VMCS_EXIT_INTR_ERRCODE);
gpa = vmcs_read(VMCS_GUEST_PHYSICAL_ADDRESS);
vmcs_read(VMCS_GUEST_LINEAR_ADDRESS));
vmexit->u.vmx.inst_error = vmcs_read(VMCS_INSTRUCTION_ERROR);
uint32_t intr_info = vmcs_read(VMCS_EXIT_INTR_INFO);
ASSERT3U(vmcs_read(VMCS_GUEST_RIP), ==, rip);
vmexit->rip = rip = vmcs_read(VMCS_GUEST_RIP);
vmexit->inst_length = vmcs_read(VMCS_EXIT_INSTRUCTION_LENGTH);
(vmcs_read(VMCS_EXIT_REASON) & BASIC_EXIT_REASON_MASK);
vmcs_read(VMCS_EXIT_QUALIFICATION);
uint64_t gi = vmcs_read(VMCS_GUEST_INTERRUPTIBILITY);
*retval = vmx_unshadow_cr0(vmcs_read(encoding),
vmcs_read(VMCS_CR0_SHADOW));
*retval = vmx_unshadow_cr4(vmcs_read(encoding),
vmcs_read(VMCS_CR4_SHADOW));
*retval = vmcs_read(encoding);
gi = vmcs_read(VMCS_GUEST_INTERRUPTIBILITY);
desc->base = vmcs_read(base);
desc->limit = vmcs_read(limit);
desc->access = vmcs_read(access);
*valp = vmcs_read(vmcs_enc);