Searched refs:VMX_DATA_EXIT_INTERRUPT_INFO (Results 1 - 4 of 4) sorted by relevance

/seL4-test-master/projects/sel4_projects_libs/libsel4vm/src/arch/x86/
H A Ddebug.c28 if (vm_vmcs_read(vcpu->vcpu.cptr, VMX_DATA_EXIT_INTERRUPT_INFO, &data_exit_info) ||
/seL4-test-master/projects/sel4_projects_libs/libsel4vm/arch_include/x86/sel4vm/arch/
H A Dvmcs_fields.h68 #define VMX_DATA_EXIT_INTERRUPT_INFO 0x00004404 macro
/seL4-test-master/kernel/include/arch/x86/arch/object/
H A Dvcpu.h84 #define VMX_DATA_EXIT_INTERRUPT_INFO 0x00004404 macro
/seL4-test-master/kernel/src/arch/x86/object/
H A Dvcpu.c843 case VMX_DATA_EXIT_INTERRUPT_INFO:
1136 interrupt = vmread(VMX_DATA_EXIT_INTERRUPT_INFO);
1157 interrupt = vmread(VMX_DATA_EXIT_INTERRUPT_INFO);

Completed in 34 milliseconds