Home
last modified time | relevance | path

Searched refs:vmcs_read (Results 1 – 3 of 3) sorted by relevance

/NextBSD/sys/amd64/vmm/intel/
HDvmcs.h62 vmcs_read(uint32_t encoding) in vmcs_read() function
82 #define vmexit_instruction_length() vmcs_read(VMCS_EXIT_INSTRUCTION_LENGTH)
83 #define vmcs_guest_rip() vmcs_read(VMCS_GUEST_RIP)
84 #define vmcs_instruction_error() vmcs_read(VMCS_INSTRUCTION_ERROR)
85 #define vmcs_exit_reason() (vmcs_read(VMCS_EXIT_REASON) & 0xffff)
86 #define vmcs_exit_qualification() vmcs_read(VMCS_EXIT_QUALIFICATION)
87 #define vmcs_guest_cr3() vmcs_read(VMCS_GUEST_CR3)
88 #define vmcs_gpa() vmcs_read(VMCS_GUEST_PHYSICAL_ADDRESS)
89 #define vmcs_gla() vmcs_read(VMCS_GUEST_LINEAR_ADDRESS)
90 #define vmcs_idt_vectoring_info() vmcs_read(VMCS_IDT_VECTORING_INFO)
[all …]
HDvmcs.c439 db_printf("VPID: %lu\n", vmcs_read(VMCS_VPID)); in DB_SHOW_COMMAND()
441 val = vmcs_read(VMCS_GUEST_ACTIVITY); in DB_SHOW_COMMAND()
459 exit = vmcs_read(VMCS_EXIT_REASON); in DB_SHOW_COMMAND()
466 vmcs_read(VMCS_GUEST_LINEAR_ADDRESS)); in DB_SHOW_COMMAND()
470 val = vmcs_read(VMCS_EXIT_INTR_INFO); in DB_SHOW_COMMAND()
492 vmcs_read(VMCS_EXIT_INTR_ERRCODE)); in DB_SHOW_COMMAND()
498 vmcs_read(VMCS_GUEST_PHYSICAL_ADDRESS)); in DB_SHOW_COMMAND()
HDvmx.c1160 gi = vmcs_read(VMCS_GUEST_INTERRUPTIBILITY); in vmx_inject_nmi()
1164 info = vmcs_read(VMCS_ENTRY_INTR_INFO); in vmx_inject_nmi()
1190 gi = vmcs_read(VMCS_GUEST_INTERRUPTIBILITY); in vmx_inject_interrupts()
1204 info = vmcs_read(VMCS_ENTRY_INTR_INFO); in vmx_inject_interrupts()
1238 gi = vmcs_read(VMCS_GUEST_INTERRUPTIBILITY); in vmx_inject_interrupts()
1240 info = vmcs_read(VMCS_ENTRY_INTR_INFO); in vmx_inject_interrupts()
1303 rflags = vmcs_read(VMCS_GUEST_RFLAGS); in vmx_inject_interrupts()
1310 gi = vmcs_read(VMCS_GUEST_INTERRUPTIBILITY); in vmx_inject_interrupts()
1317 info = vmcs_read(VMCS_ENTRY_INTR_INFO); in vmx_inject_interrupts()
1384 gi = vmcs_read(VMCS_GUEST_INTERRUPTIBILITY); in vmx_restore_nmi_blocking()
[all …]