TLB_ASSERT
TLB_ASSERT((int)va > 0,
TLB_ASSERT(l && onfault != NULL,
TLB_ASSERT(0, "impossible expevt");
TLB_ASSERT(l != NULL, "no curlwp");
TLB_ASSERT(l != NULL && onfault != NULL,
TLB_ASSERT(loaded, "page table entry not found");
TLB_ASSERT(onfault,