| /linux/tools/verification/rvgen/rvgen/ |
| H A D | ltl2k.py | 42 def abbreviate_atoms(atoms: list[str]) -> list[str]:
49 if sum(a.startswith(atom[:i]) for a in atoms) > 1:
54 for atom in atoms:
70 self.atoms, self.ba, self.ltl = ltl2ba.create_graph(f.read())
73 self.atoms_abbr = abbreviate_atoms(self.atoms)
92 for a in sorted(self.atoms):
133 for atom in self.atoms:
136 buf.append(f"\tbool {atom.lower()} = test_bit(LTL_{atom}, mon->atoms);")
216 buff.append(f"\tltl_atom_update(task, LTL_{self.atoms[0]}, true/false);")
229 for a in self.atoms
[all...] |
| H A D | ltl2ba.py | 542 atoms = set()
548 atoms.add(c.op.name)
567 return sorted(atoms), graph, ltl
|
| /linux/kernel/trace/rv/monitors/pagefault/ |
| H A D | pagefault.h | 39 bool pagefault = test_bit(LTL_PAGEFAULT, mon->atoms); in ltl_start()
41 bool rt = test_bit(LTL_RT, mon->atoms); in ltl_start()
52 bool pagefault = test_bit(LTL_PAGEFAULT, mon->atoms); in ltl_possible_next_states()
54 bool rt = test_bit(LTL_RT, mon->atoms); in ltl_possible_next_states()
|
| H A D | pagefault_trace.h | 9 TP_PROTO(struct task_struct *task, char *states, char *atoms, char *next),
10 TP_ARGS(task, states, atoms, next));
|
| /linux/include/rv/ |
| H A D | ltl_monitor.h | 101 __set_bit(atom, mon->atoms); in ltl_atom_set()
103 __clear_bit(atom, mon->atoms); in ltl_atom_set()
110 DECLARE_SEQ_BUF(atoms, 64); in ltl_trace_event()
121 if (test_bit(i, mon->atoms)) { in ltl_trace_event()
122 seq_buf_printf(&atoms, format_str, ltl_atom_str(i)); in ltl_trace_event()
127 CONCATENATE(trace_event_, MONITOR_NAME)(task, states, atoms.buffer, next); in ltl_trace_event()
|
| /linux/kernel/trace/rv/monitors/sleep/ |
| H A D | sleep_trace.h | 9 TP_PROTO(struct task_struct *task, char *states, char *atoms, char *next),
10 TP_ARGS(task, states, atoms, next));
|
| /linux/tools/perf/ |
| H A D | builtin-sched.c | 73 struct sched_atom **atoms; member
373 task->atoms = realloc(task->atoms, size); in get_new_event()
374 BUG_ON(!task->atoms); in get_new_event()
376 task->atoms[idx] = event; in get_new_event()
386 return task->atoms[task->nr_events - 1]; in last_event()
646 perf_sched__process_event(sched, this_task->atoms[i]); in thread_func()
993 struct work_atoms *atoms; in thread_atoms_search() local
996 atoms = container_of(node, struct work_atoms, node); in thread_atoms_search()
998 cmp = thread_lat_cmp(sort_list, &key, atoms); in thread_atoms_search()
1041 struct work_atoms *atoms = zalloc(sizeof(*atoms)); thread_atoms_insert() local
1054 add_sched_out_event(struct work_atoms * atoms,char run_state,u64 timestamp) add_sched_out_event() argument
1076 add_runtime_event(struct work_atoms * atoms,u64 delta,u64 timestamp __maybe_unused) add_runtime_event() argument
1090 add_sched_in_event(struct work_atoms * atoms,u64 timestamp) add_sched_in_event() argument
1121 free_work_atoms(struct work_atoms * atoms) free_work_atoms() argument
1214 struct work_atoms *atoms = thread_atoms_search(&sched->atom_root, thread, &sched->cmp_pid); latency_runtime_event() local
1247 struct work_atoms *atoms; latency_wakeup_event() local
1309 struct work_atoms *atoms; latency_migrate_task_event() local
[all...] |
| H A D | builtin-kwork.c | 251 atom = &page->atoms[i]; in atom_new()
266 atom = &page->atoms[0]; in atom_new()
|
| /linux/tools/verification/rvgen/rvgen/templates/ltl2k/ |
| H A D | trace.h | 9 TP_PROTO(struct task_struct *task, char *states, char *atoms, char *next),
10 TP_ARGS(task, states, atoms, next));
|
| /linux/tools/testing/selftests/bpf/ |
| H A D | veristat.c | 177 struct field_access *atoms; member
1725 tmp = reallocarray(preset->atoms, i + 1, sizeof(*preset->atoms)); in append_preset_atom()
1729 preset->atoms = tmp; in append_preset_atom()
1733 preset->atoms[i].type = ARRAY_INDEX; in append_preset_atom()
1734 err = parse_rvalue(value, &preset->atoms[i].index); in append_preset_atom()
1738 preset->atoms[i].type = FIELD_NAME; in append_preset_atom()
1739 preset->atoms[i].name = strdup(value); in append_preset_atom()
1740 if (!preset->atoms[i].name) in append_preset_atom()
2023 assert(preset->atoms[0].type == FIELD_NAME); in adjust_var_secinfo()
2027 prev_name = preset->atoms[0].name; in adjust_var_secinfo()
[all …]
|