i386_btop
return (PADDR2 + (i386_btop(va) & (NPTEPG - 1)));
return (PADDR1 + (i386_btop(va) & (NPTEPG - 1)));
return (PADDR3 + (i386_btop(va) & (NPTEPG - 1)));
ptep = (pt_entry_t *)PCPU_GET(pmap_eh_va) + (i386_btop(va) &
pa = KPTmap[i386_btop(va)];
#define vtopte(va) (PTmap + i386_btop(va))
firstpte = &KPTmap[i386_btop(trunc_4mpage(va))];
pagezero((void *)&KPTmap[i386_btop(trunc_4mpage(va))]);