Symbol: ltl_atoms_init
kernel/trace/rv/monitors/pagefault/pagefault.c
32
static void ltl_atoms_init(struct task_struct *task, struct ltl_monitor *mon, bool task_creation)
kernel/trace/rv/monitors/sleep/sleep.c
36
static void ltl_atoms_init(struct task_struct *task, struct ltl_monitor *mon, bool task_creation)
tools/verification/rvgen/rvgen/templates/ltl2k/main.c
39
static void ltl_atoms_init(struct task_struct *task, struct ltl_monitor *mon, bool task_creation)