Searched refs:VMX_EXIT_INSTR_INFO (Results 1 - 2 of 2) sorted by relevance

/barrelfish-master/include/barrelfish_kpi/
H A Dvmx_encodings.h71 #define VMX_EXIT_INSTR_INFO 0x440E // VM-exit instruction information macro
/barrelfish-master/kernel/arch/x86_64/
H A Dvmx_vmkit.c887 err += vmread(VMX_EXIT_INSTR_INFO, &instr_info);

Completed in 86 milliseconds