Searched defs:highest_seqno_in_use (Results 1 – 2 of 2) sorted by relevance
7443 int highest_seqno_in_use, in update_seqnos_and_stage()7488 int highest_seqno_in_use = orig_max_seqno; in sel_sched_region_2() local
7496 int highest_seqno_in_use, in update_seqnos_and_stage()7541 int highest_seqno_in_use = orig_max_seqno; in sel_sched_region_2() local