Searched refs:KPDPI (Results 1 – 4 of 4) sorted by relevance
191 #define KERNBASE KV4ADDR(KPML4I, KPDPI, 0, 0)
244 #define KPDPI (NPDPEPG-2) /* kernbase at -2GB */ macro
113 ASSYM(val_KPDPI, KPDPI);
1704 pdp_p[i + KPDPI] = (KPDphys + ptoa(i)) | X86_PG_RW | X86_PG_V; in create_pagetables()