HTABLE_LAST_PAGE
if (ht->ht_vaddr > va || va > HTABLE_LAST_PAGE(ht)) {
(void *)HTABLE_LAST_PAGE(ht), (void *)ht->ht_vaddr,
ASSERT(vaddr <= HTABLE_LAST_PAGE(ht));
ASSERT(va <= HTABLE_LAST_PAGE(ht));
if (va <= HTABLE_LAST_PAGE(prev)) {
ASSERT(va <= HTABLE_LAST_PAGE(ht));