Home | History | Annotate | Download | only in priv

Lines Matching full:obligation

8376       vassert(INSNA(31,28) == BITS4(0,0,0,0)); // caller's obligation
10921    vassert(INSN(31,28) == BITS4(0,0,0,0)); // caller's obligation