TLB_ASSERT
TLB_ASSERT((int)va > 0,
TLB_ASSERT(p->p_md.md_pcb->pcb_onfault != NULL,
TLB_ASSERT(0, "impossible expevt");
TLB_ASSERT(p != NULL, "no curproc");
TLB_ASSERT(p != NULL &&
TLB_ASSERT(loaded, "page table entry not found");
TLB_ASSERT(p->p_md.md_pcb->pcb_onfault,