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

/barrelfish-master/include/barrelfish_kpi/
H A Dvmx_encodings.h139 #define VMX_EPTP_LIST_H 0x2025 // EPTP-list address (high) macro

Completed in 82 milliseconds