Symbol: ltl_atom_str
kernel/trace/rv/monitors/pagefault/pagefault.h
21
static const char *ltl_atom_str(enum ltl_atom atom)
kernel/trace/rv/monitors/sleep/sleep.h
37
static const char *ltl_atom_str(enum ltl_atom atom)