Searched refs:KPDPI (Results 1 – 3 of 3) sorted by relevance
125 #define KPDPI (NPDPEPG-2) /* kernbase at -2GB */ macro133 #define MPPDPI KPDPI
125 #define KERNBASE KVADDR(KPML4I + NKPML4E - 1, KPDPI, 0, 0)
900 nkpt_base = (NPDPEPG - KPDPI) * NPTEPG; /* typically 2 x 512 */ in create_pagetables()946 KPDbase = allocpages(firstaddr, NPDPEPG - KPDPI); in create_pagetables()1029 i = (NKPML4E - 1) * NPDPEPG + KPDPI; in create_pagetables()1030 for (j = 0; j < NPDPEPG - KPDPI; ++j) { in create_pagetables()