Searched refs:task_creation (Results 1 – 6 of 6) 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 | 39 static void ltl_atoms_init(struct task_struct *task, struct ltl_monitor *mon, bool task_creation);
46 static void ltl_task_init(struct task_struct *task, bool task_creation) in ltl_task_init() argument
55 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
44 * @task_creation indicates whether the task is being created. This is in ltl_atoms_init()
|
| /linux/Documentation/trace/rv/ |
| H A D | monitor_synthesis.rst | 237 ltl_atoms_init(struct task_struct *task, struct ltl_monitor *mon, bool task_creation)
243 void ltl_atom_init(struct task_struct *task, struct ltl_monitor *mon, bool task_creation)
246 if (task_creation)
|
| /linux/kernel/ |
| H A D | auditsc.c | 460 * If task_creation is true, this is an explicit indication that we are
469 bool task_creation) in audit_filter_rules() argument
479 cred = rcu_dereference_check(tsk->cred, tsk == current || task_creation); in audit_filter_rules()
|