Searched defs: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()849 uint32* cover_count_pos = write_output(0); // filled in later in write_call_output() local