ALIGN2PAGE
rpt_align = (uchar_t *)ALIGN2PAGE(ml->b_rptr);
uintptr_t va = ALIGN2PAGE(addr);
uintptr_t vaddr = ALIGN2PAGE(addr);
uintptr_t vaddr = ALIGN2PAGE(addr);
uintptr_t vaddr = ALIGN2PAGE(addr);
uintptr_t vaddr = ALIGN2PAGE(addr);
ht = htable_getpte(kas.a_hat, ALIGN2PAGE(addr), NULL, NULL, 0);
uintptr_t des_va = ALIGN2PAGE(vaddr);