vmcs_read
db_printf("VPID: %lu\n", vmcs_read(VMCS_VPID));
val = vmcs_read(VMCS_GUEST_ACTIVITY);
exit = vmcs_read(VMCS_EXIT_REASON);
vmcs_read(VMCS_GUEST_LINEAR_ADDRESS));
val = vmcs_read(VMCS_EXIT_INTR_INFO);
vmcs_read(VMCS_EXIT_INTR_ERRCODE));
vmcs_read(VMCS_GUEST_PHYSICAL_ADDRESS));
#define vmcs_guest_cr3() vmcs_read(VMCS_GUEST_CR3)
#define vmcs_gpa() vmcs_read(VMCS_GUEST_PHYSICAL_ADDRESS)
#define vmcs_gla() vmcs_read(VMCS_GUEST_LINEAR_ADDRESS)
#define vmcs_idt_vectoring_info() vmcs_read(VMCS_IDT_VECTORING_INFO)
#define vmcs_idt_vectoring_err() vmcs_read(VMCS_IDT_VECTORING_ERROR)
#define vmexit_instruction_length() vmcs_read(VMCS_EXIT_INSTRUCTION_LENGTH)
#define vmcs_guest_rip() vmcs_read(VMCS_GUEST_RIP)
#define vmcs_instruction_error() vmcs_read(VMCS_INSTRUCTION_ERROR)
#define vmcs_exit_reason() (vmcs_read(VMCS_EXIT_REASON) & 0xffff)
#define vmcs_exit_qualification() vmcs_read(VMCS_EXIT_QUALIFICATION)
gi = vmcs_read(VMCS_GUEST_INTERRUPTIBILITY);
info = vmcs_read(VMCS_ENTRY_INTR_INFO);
gi = vmcs_read(VMCS_GUEST_INTERRUPTIBILITY);
info = vmcs_read(VMCS_ENTRY_INTR_INFO);
gi = vmcs_read(VMCS_GUEST_INTERRUPTIBILITY);
info = vmcs_read(VMCS_ENTRY_INTR_INFO);
rflags = vmcs_read(VMCS_GUEST_RFLAGS);
gi = vmcs_read(VMCS_GUEST_INTERRUPTIBILITY);
info = vmcs_read(VMCS_ENTRY_INTR_INFO);
gi = vmcs_read(VMCS_GUEST_INTERRUPTIBILITY);
gi = vmcs_read(VMCS_GUEST_INTERRUPTIBILITY);
gi = vmcs_read(VMCS_GUEST_INTERRUPTIBILITY);
if (!limits->xsave_enabled || !(vmcs_read(VMCS_GUEST_CR4) & CR4_XSAVE)) {
return (vmcs_read(VMCS_GUEST_RSP));
efer = vmcs_read(VMCS_GUEST_IA32_EFER);
entry_ctls = vmcs_read(VMCS_ENTRY_CTLS);
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))
cr4 = vmcs_read(VMCS_GUEST_CR4);
if (vmcs_read(VMCS_GUEST_IA32_EFER) & EFER_LME) {
vmexit->u.inst_emul.cs_base = vmcs_read(VMCS_GUEST_CS_BASE);
vmexit->u.inst_emul.cs_base = vmcs_read(VMCS_GUEST_CS_BASE);
csar = vmcs_read(VMCS_GUEST_CS_ACCESS_RIGHTS);
vmexit->u.hlt.rflags = vmcs_read(VMCS_GUEST_RFLAGS);
vmcs_read(VMCS_GUEST_INTR_STATUS);
intr_info = vmcs_read(VMCS_EXIT_INTR_INFO);
inst_info = vmcs_read(VMCS_EXIT_INSTRUCTION_INFO);
vis->rflags = vmcs_read(VMCS_GUEST_RFLAGS);
vis->cr0 = vmcs_read(VMCS_GUEST_CR0);
intr_info = vmcs_read(VMCS_EXIT_INTR_INFO);
errcode = vmcs_read(VMCS_EXIT_INTR_ERRCODE);
intr_info = vmcs_read(VMCS_EXIT_INTR_INFO);
val = vmcs_read(VMCS_EOI_EXIT(vector));
intr_status_old = vmcs_read(VMCS_GUEST_INTR_STATUS);