Searched defs:KPML4I (Results 1 - 1 of 1) sorted by relevance

/barrelfish-2018-10-04/include/arch/x86_64/machine/
H A Dpmap.h213 #define KPML4I (NPML4EPG-1) macro

Completed in 78 milliseconds