PTE_LGFRAME
page_off = va & ~PTE_LGFRAME;
*pa = (pde & PTE_LGFRAME) + page_off;
page_off = va & ((vaddr_t)~PTE_LGFRAME);
*pa = (pde & PTE_LGFRAME) + page_off;
va = (va & PTE_LGFRAME) + NBPD_L2;
pa = (pde & PTE_LGFRAME) | (va & (NBPD_L2 - 1));
va &= PTE_LGFRAME;