TTE_PAGE_OFFSET
ASSERT(!((uintptr_t)vaddr & TTE_PAGE_OFFSET(size)));
ASSERT(!((uintptr_t)vaddr & TTE_PAGE_OFFSET(size)));
#define TTE_PAGEMASK(sz) (~TTE_PAGE_OFFSET(sz))
#define TTE_PFNMASK(sz) (~(TTE_PAGE_OFFSET(sz) >> MMU_PAGESHIFT))
#define TTE_PAGEMASK(sz) (~TTE_PAGE_OFFSET(sz))
#define TTE_PFNMASK(sz) (~(TTE_PAGE_OFFSET(sz) >> MMU_PAGESHIFT))