TLB_VALID
: [i] "r" (i), [valid] "r" (TLB_VALID));
hi = (va & TLB_EPN_MASK) | (sz << TLB_SIZE_SHFT) | TLB_VALID;
KASSERT(hi & TLB_VALID);
hi = va | TLB_VALID | szmask;
if (strchr(modif, 'v') && !(tlbhi & TLB_VALID))
db_printf("tlb%c%2d", tlbhi & TLB_VALID ? ' ' : '*', i);