Home
last modified time | relevance | path

Searched defs:task_creation (Results 1 – 5 of 5) 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/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()
/linux/include/rv/
H A Dltl_monitor.h46 static void ltl_task_init(struct task_struct *task, bool task_creation) in ltl_task_init()
/linux/kernel/
H A Dauditsc.c469 bool task_creation) in audit_filter_rules()