__unbuffered_tpr_x (reference) in projects: linux-6.3-rc2

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

/linux-6.3-rc2/tools/testing/selftests/rcutorture/formal/srcu-cbmc/tests/store_buffering/
A D	test.c	`7 int __unbuffered_tpr_x; variable 41 __unbuffered_tpr_x = READ_ONCE(x); in thread_update() 66 assert(__unbuffered_tpr_y != 0 \|\| __unbuffered_tpr_x != 0); in main()`

Completed in 2 milliseconds