Home
last modified time | relevance | path

Searched defs:task_creation (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()
/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()
/linux/include/rv/
H A Dltl_monitor.h32 static void ltl_task_init(struct task_struct *task, bool task_creation) in ltl_task_init()