Searched refs:KPML4I (Results 1 – 4 of 4) sorted by relevance
218 #define KERNBASE KV4ADDR(KPML4I, KPDPI, 0, 0)
256 #define KPML4I (NPML4EPG-1) macro
108 ASSYM(val_KPML4I, KPML4I);
1798 pdp_p = (pdp_entry_t *)(KPDPphys + ptoa(KPML4I - KPML4BASE)); in create_pagetables()