pmap_link_l2pt
void pmap_link_l2pt(vaddr_t, vaddr_t, pv_addr_t *);
pmap_link_l2pt(l1pagetable, vector_page & ~(0x00400000 - 1),
pmap_link_l2pt(l1pagetable, KERNEL_BASE + loop * 0x00400000,
pmap_link_l2pt(l1pagetable, KERNEL_VM_BASE + loop * 0x00400000,