| /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/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 | 499 atoms = set()
505 atoms.add(c.op.name)
524 return sorted(atoms), graph, ltl
|
| /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/perf/ |
| H A D | builtin-sched.c | 137 struct sched_atom **atoms;
511 atoms_p = realloc(task->atoms, size); in add_cross_task_wakeups()
513 pr_err("ERROR: sched: failed to grow atoms array\n"); in add_cross_task_wakeups()
517 task->atoms = atoms_p; in add_cross_task_wakeups()
520 task->atoms[idx] = event;
530 return task->atoms[task->nr_events - 1]; in perf_sched__process_event()
816 perf_sched__process_event(sched, this_task->atoms[i]); in test_calibrations()
1166 struct work_atoms *atoms; in latency_switch_event()
1169 atoms = container_of(node, struct work_atoms, node); in latency_switch_event()
1171 cmp = thread_lat_cmp(sort_list, &key, atoms); in latency_switch_event()
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/tools/testing/selftests/bpf/ |
| H A D | veristat.c | 178 struct field_access *atoms; member
1787 tmp = reallocarray(preset->atoms, i + 1, sizeof(*preset->atoms)); in append_preset_atom()
1791 preset->atoms = tmp; in append_preset_atom()
1795 preset->atoms[i].type = ARRAY_INDEX; in append_preset_atom()
1796 err = parse_rvalue(value, &preset->atoms[i].index); in append_preset_atom()
1800 preset->atoms[i].type = FIELD_NAME; in append_preset_atom()
1801 preset->atoms[i].name = strdup(value); in append_preset_atom()
1802 if (!preset->atoms[i].name) in append_preset_atom()
2085 assert(preset->atoms[0].type == FIELD_NAME); in adjust_var_secinfo()
2089 prev_name = preset->atoms[0].name; in adjust_var_secinfo()
[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()
|