Home | History | Annotate | Download | only in priv

Lines Matching refs:RLPri_Int

667             *retloc = mk_RetLoc_simple(RLPri_Int);
1408                                          0, mk_RetLoc_simple(RLPri_Int) ));
1477       vassert(rloc.pri == RLPri_Int);
2002       vassert(rloc.pri == RLPri_Int);
4125             vassert(rloc.pri == RLPri_Int);