Symbol: RV_NUM_BA_STATES
include/rv/ltl_monitor.h
137
for (unsigned int i = 0; i < RV_NUM_BA_STATES; ++i) {
kernel/trace/rv/monitors/pagefault/pagefault.h
35
static_assert(RV_NUM_BA_STATES <= RV_MAX_BA_STATES);
kernel/trace/rv/monitors/sleep/sleep.h
76
static_assert(RV_NUM_BA_STATES <= RV_MAX_BA_STATES);