Searched refs:KPML4I (Results 1 - 4 of 4) sorted by relevance
| /freebsd-12-stable/sys/amd64/include/ |
| H A D | vmparam.h | 181 #define KERNBASE KVADDR(KPML4I, KPDPI, 0, 0)
|
| H A D | pmap.h | 208 * Note: KPML4I is the index of the (single) level 4 page that maps
211 * is 1, these are the same, otherwise KPML4BASE < KPML4I and extra
215 * (KPML4I combines with KPDPI to choose where KERNBASE starts.
216 * Or, in other words, KPML4I provides bits 39..47 of KERNBASE,
224 #define KPML4I (NPML4EPG-1) macro
|
| /freebsd-12-stable/sys/amd64/amd64/ |
| H A D | genassym.c | 115 ASSYM(val_KPML4I, KPML4I);
|
| H A D | pmap.c | 1490 * all but the KPML4I'th one, so we need NKPML4E-1 extra (zeroed)
1527 pdp_p = (pdp_entry_t *)(KPDPphys + ptoa(KPML4I - KPML4BASE));
|
Completed in 148 milliseconds