Searched refs:record_full_insn_max_num (Results 1 – 2 of 2) sorted by relevance
205 static unsigned int record_full_insn_max_num variable687 if (record_full_insn_num == record_full_insn_max_num) in record_full_check_insn_num()776 if (record_full_insn_num == record_full_insn_max_num) in record_full_message()1578 if (record_full_insn_num == record_full_insn_max_num) in record_full_registers_change()1694 if (record_full_insn_num == record_full_insn_max_num) in xfer_partial()1949 record_full_insn_max_num); in info_record()2492 if (record_full_insn_num > record_full_insn_max_num) in record_full_restore()2494 record_full_insn_max_num = record_full_insn_num; in record_full_restore()2496 record_full_insn_max_num); in record_full_restore()2775 if (record_full_insn_num > record_full_insn_max_num) in set_record_full_insn_max_num()[all …]
9774 record_full_insn_max_num check (it's always != 0).9777 (set_record_full_insn_max_num): Remove record_full_insn_max_num10775 (record_full_insn_max_num): ... this. Updated all users.