Searched refs:cover_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() argument780 *cover_count_pos = cover_size; in write_coverage_signal()849 uint32* cover_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()