Searched refs:signal_count_pos (Results 1 – 1 of 1) sorted by relevance
744 void write_coverage_signal(thread_t* th, uint32* signal_count_pos, uint32* cover_count_pos) in write_coverage_signal() argument765 *signal_count_pos = nsig; in write_coverage_signal()848 uint32* signal_count_pos = write_output(0); // filled in later in write_call_output() local872 write_coverage_signal<uint64>(th, signal_count_pos, cover_count_pos); in write_call_output()874 write_coverage_signal<uint32>(th, signal_count_pos, cover_count_pos); in write_call_output()878 *signal_count_pos, *cover_count_pos, *comps_count_pos); in write_call_output()