| /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 | 543 atoms = set()
549 atoms.add(c.op.name)
568 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 | 102 __set_bit(atom, mon->atoms); in ltl_atom_set()
104 __clear_bit(atom, mon->atoms); in ltl_atom_set()
111 DECLARE_SEQ_BUF(atoms, 64); in ltl_trace_event()
122 if (test_bit(i, mon->atoms)) { in ltl_trace_event()
123 seq_buf_printf(&atoms, format_str, ltl_atom_str(i)); in ltl_trace_event()
128 CONCATENATE(trace_event_, MONITOR_NAME)(task, states, atoms.buffer, next); in ltl_trace_event()
|
| /linux/tools/perf/ |
| H A D | builtin-sched.c | 75 struct sched_atom **atoms;
380 atoms_p = realloc(task->atoms, size);
382 pr_err("ERROR: sched: failed to grow atoms array\n"); in last_event()
386 task->atoms = atoms_p; in last_event()
389 task->atoms[idx] = event; in add_sched_event_run()
399 return task->atoms[task->nr_events - 1]; in add_sched_event_run()
685 perf_sched__process_event(sched, this_task->atoms[i]); in create_tasks()
1035 struct work_atoms *atoms; in __thread_latency_insert()
1038 atoms = container_of(node, struct work_atoms, node);
1040 cmp = thread_lat_cmp(sort_list, &key, atoms); in thread_atoms_insert()
73 struct sched_atom **atoms; global() member
993 struct work_atoms *atoms; thread_atoms_search() local
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 | 252 atom = &page->atoms[i]; in atom_new()
267 atom = &page->atoms[0]; in atom_new()
|
| /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/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 | 178 struct field_access *atoms;
1727 tmp = reallocarray(preset->atoms, i + 1, sizeof(*preset->atoms)); in append_preset_atom()
1731 preset->atoms = tmp; in append_preset_atom()
1735 preset->atoms[i].type = ARRAY_INDEX; in append_preset_atom()
1736 err = parse_rvalue(value, &preset->atoms[i].index); in append_preset_atom()
1740 preset->atoms[i].type = FIELD_NAME; in append_preset_atom()
1741 preset->atoms[i].name = strdup(value); in append_preset_atom()
1742 if (!preset->atoms[i].name) in append_preset_atom()
2025 assert(preset->atoms[ in adjust_var_secinfo()
177 struct field_access *atoms; global() member
[all...] |
| /linux/drivers/md/dm-vdo/ |
| H A D | vdo.c | 1555 const struct atomic_statistics *atoms = &vdo->stats; in get_vdo_error_statistics() local
1558 .invalid_advice_pbn_count = atomic64_read(&atoms->invalid_advice_pbn_count), in get_vdo_error_statistics()
1559 .no_space_error_count = atomic64_read(&atoms->no_space_error_count), in get_vdo_error_statistics()
1560 .read_only_error_count = atomic64_read(&atoms->read_only_error_count), in get_vdo_error_statistics()
|