KPTmap
pa = KPTmap[i386_btop(va)];
firstpte = &KPTmap[i386_btop(trunc_4mpage(va))];
pagezero((void *)&KPTmap[i386_btop(trunc_4mpage(va))]);
KPTmap = (pt_entry_t *)KPTphys;
pmap_cold_map(KPTphys, (u_long)KPTmap, NKPT);
SYSMAP(pt_entry_t *, KPTD, KPTmap, KVA_PAGES)