Home
last modified time | relevance | path

Searched refs:write_buffer_start_count (Results 1 – 2 of 2) sorted by relevance

/trusty/user/base/lib/line-coverage/
Dshm.c62 if ( ((flags & FLAG_RUN) != 0) && (read_cnt == control->write_buffer_start_count) ) { in dump_shm()
63 uint64_t count = control->write_buffer_start_count + 1; in dump_shm()
64 WRITE_ONCE(control->write_buffer_start_count, count); in dump_shm()
/trusty/user/base/lib/line-coverage/include/lib/line-coverage/
Dshm.h38 uint64_t write_buffer_start_count; member