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

/barrelfish-master/include/arch/x86_64/machine/
H A Dpmap.h179 #define NUPML4E (NPML4EPG/2) /* number of userland PML4 pages */
208 #define PML4PML4I (NPML4EPG/2) /* Index of recursive pml4 mapping */
210 #define KPML4BASE (NPML4EPG-NKPML4E) /* KVM at highest addresses */
213 #define KPML4I (NPML4EPG-1)
H A Dparam.h116 #define NPML4EPG (PAGE_SIZE/(sizeof (pml4_entry_t))) macro
117 #define NPML4EPGSHIFT 9 /* LOG2(NPML4EPG) */

Completed in 197 milliseconds