Searched refs:task_creation (Results 1 – 5 of 5) sorted by relevance
| /linux/kernel/trace/rv/monitors/pagefault/ |
| H A D | pagefault.c | 32 static void ltl_atoms_init(struct task_struct *task, struct ltl_monitor *mon, bool task_creation) in ltl_atoms_init() argument
34 if (task_creation) in ltl_atoms_init()
|
| /linux/include/rv/ |
| H A D | ltl_monitor.h | 25 static void ltl_atoms_init(struct task_struct *task, struct ltl_monitor *mon, bool task_creation);
32 static void ltl_task_init(struct task_struct *task, bool task_creation) in ltl_task_init() argument
41 ltl_atoms_init(task, mon, task_creation); in ltl_task_init()
|
| /linux/kernel/trace/rv/monitors/sleep/ |
| H A D | sleep.c | 36 static void ltl_atoms_init(struct task_struct *task, struct ltl_monitor *mon, bool task_creation) in ltl_atoms_init() argument
45 if (task_creation) { in ltl_atoms_init()
|
| /linux/tools/verification/rvgen/rvgen/templates/ltl2k/ |
| H A D | main.c | 39 static void ltl_atoms_init(struct task_struct *task, struct ltl_monitor *mon, bool task_creation) in ltl_atoms_init() argument
|
| /linux/kernel/ |
| H A D | auditsc.c | 469 bool task_creation) in audit_filter_rules() argument
479 cred = rcu_dereference_check(tsk->cred, tsk == current || task_creation); in audit_filter_rules()
|