Searched refs:write_coverage_signal (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() function872 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()