Home
last modified time | relevance | path

Searched defs:ltl_atoms_init (Results 1 – 3 of 3) sorted by relevance

/linux/tools/verification/rvgen/rvgen/templates/ltl2k/
H A Dmain.c39 static void ltl_atoms_init(struct task_struct *task, struct ltl_monitor *mon, bool task_creation) in ltl_atoms_init() function
/linux/kernel/trace/rv/monitors/pagefault/
H A Dpagefault.c32 static void ltl_atoms_init(struct task_struct *task, struct ltl_monitor *mon, bool task_creation) in ltl_atoms_init() function
/linux/kernel/trace/rv/monitors/sleep/
H A Dsleep.c36 static void ltl_atoms_init(struct task_struct *task, struct ltl_monitor *mon, bool task_creation) in ltl_atoms_init() function