Symbol: ltl_possible_next_states
kernel/trace/rv/monitors/pagefault/pagefault.h
50
ltl_possible_next_states(struct ltl_monitor *mon, unsigned int state, unsigned long *next)
kernel/trace/rv/monitors/sleep/sleep.h
125
ltl_possible_next_states(struct ltl_monitor *mon, unsigned int state, unsigned long *next)