TLBINV_NOBODY
.ti_tlbinvop = TLBINV_NOBODY,
ti->ti_tlbinvop = TLBINV_NOBODY;
case TLBINV_NOBODY: {
KASSERT(op == TLBINV_NOBODY);
case TLBINV_NOBODY:
ti->ti_tlbinvop = TLBINV_NOBODY;
(((( (nobody) << 3 * TLBINV_NOBODY) \
pmap_tlb_asid_reinitialize(ti, TLBINV_NOBODY);