Home
last modified time | relevance | path

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

/aosp_15_r20/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()
/aosp_15_r20/trusty/user/base/lib/line-coverage/include/lib/line-coverage/
Dshm.h38 uint64_t write_buffer_start_count; member
/aosp_15_r20/system/core/trusty/utils/coverage-controller/
H A Dcontroller.h41 uint64_t write_buffer_start_count; member
H A Dcontroller.cpp50 start_cnt = READ_ONCE((control->write_buffer_start_count)); in run()
/aosp_15_r20/system/core/trusty/line-coverage/
H A Dcoverage.cpp41 uint64_t write_buffer_start_count; member