Symbol: RV_MAX_LTL_ATOM
include/linux/rv.h
56
DECLARE_BITMAP(atoms, RV_MAX_LTL_ATOM);
include/linux/rv.h
57
DECLARE_BITMAP(unknown_atoms, RV_MAX_LTL_ATOM);
kernel/trace/rv/monitors/pagefault/pagefault.h
19
static_assert(LTL_NUM_ATOM <= RV_MAX_LTL_ATOM);
kernel/trace/rv/monitors/sleep/sleep.h
35
static_assert(LTL_NUM_ATOM <= RV_MAX_LTL_ATOM);