Symbol: RV_MAX_BA_STATES
include/linux/rv.h
55
DECLARE_BITMAP(states, RV_MAX_BA_STATES);
include/rv/ltl_monitor.h
117
snprintf(states, sizeof(states), "%*pbl", RV_MAX_BA_STATES, mon->states);
include/rv/ltl_monitor.h
118
snprintf(next, sizeof(next), "%*pbl", RV_MAX_BA_STATES, next_state);
include/rv/ltl_monitor.h
132
DECLARE_BITMAP(next_states, RV_MAX_BA_STATES) = {0};
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
74
static_assert(RV_NUM_BA_STATES <= RV_MAX_BA_STATES);