NPG_IN_PT1
base_pt1 = pmap_preboot_get_pages(NPG_IN_PT1);
for (pa = base_pt1, i = 0; i < NPG_IN_PT1; i++, pa += PTE2_SIZE)