Searched refs:becPrio (Results 1 – 1 of 1) sorted by relevance
239 Int becPrio; /* 0 through 9. Behavioural equivalence class prio. member287 Int becPrio; /* and its priority */ member393 Int i, nsyms, becTag, becPrio; in VG_() local514 &isWrap, &becTag, &becPrio ); in VG_()582 spec->becPrio = becPrio; in VG_()781 act.becPrio = sp->becPrio; in generate_and_add_actives()889 vg_assert(old->becPrio >= 0 && old->becPrio <= 9); in maybe_add_active()891 vg_assert(act.becPrio >= 0 && act.becPrio <= 9); in maybe_add_active()893 vg_assert(old->becPrio == 0); in maybe_add_active()895 vg_assert(act.becPrio == 0); in maybe_add_active()[all …]