| /linux/kernel/trace/rv/monitors/sleep/ |
| H A D | sleep.h | 78 bool task_is_migration = test_bit(LTL_TASK_IS_MIGRATION, mon->atoms); in ltl_start()
79 bool task_is_rcu = test_bit(LTL_TASK_IS_RCU, mon->atoms); in ltl_start()
81 bool futex_lock_pi = test_bit(LTL_FUTEX_LOCK_PI, mon->atoms); in ltl_start()
83 bool block_on_rt_mutex = test_bit(LTL_BLOCK_ON_RT_MUTEX, mon->atoms); in ltl_start()
85 bool kthread_should_stop = test_bit(LTL_KTHREAD_SHOULD_STOP, mon->atoms); in ltl_start()
86 bool abort_sleep = test_bit(LTL_ABORT_SLEEP, mon->atoms); in ltl_start()
88 bool woken_by_nmi = test_bit(LTL_WOKEN_BY_NMI, mon->atoms); in ltl_start()
90 bool woken_by_hardirq = test_bit(LTL_WOKEN_BY_HARDIRQ, mon->atoms); in ltl_start()
93 mon->atoms); in ltl_start()
95 bool wake = test_bit(LTL_WAKE, mon->atoms); in ltl_start()
[all …]
|
| 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/ |
| H A D | ltl2k.py | 41 def abbreviate_atoms(atoms: list[str]) -> list[str]:
47 for atom in atoms:
49 if sum(a.startswith(atom[:i]) for a in atoms) > 1:
64 self.atoms, self.ba, self.ltl = ltl2ba.create_graph(f.read())
65 self.atoms_abbr = abbreviate_atoms(self.atoms)
84 for a in sorted(self.atoms):
125 for atom in self.atoms:
208 buff.append("\tltl_atom_update(task, LTL_%s, true/false);" % self.atoms[0])
223 for a in self.atoms:
|
| H A D | ltl2ba.py | 541 atoms = set()
547 atoms.add(c.op.name)
566 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 | 114 __set_bit(atom, mon->atoms); in ltl_atom_set()
116 __clear_bit(atom, mon->atoms); in ltl_atom_set()
123 DECLARE_SEQ_BUF(atoms, 64); in ltl_trace_event()
134 if (test_bit(i, mon->atoms)) { in ltl_trace_event()
135 seq_buf_printf(&atoms, format_str, ltl_atom_str(i)); in ltl_trace_event()
140 CONCATENATE(trace_event_, MONITOR_NAME)(task, states, atoms.buffer, next); in ltl_trace_event()
|
| /linux/kernel/trace/rv/ |
| H A D | rv_trace.h | 135 TP_PROTO(struct task_struct *task, char *states, char *atoms, char *next),
137 TP_ARGS(task, states, atoms, next),
143 __string(atoms, atoms)
151 __assign_str(atoms);
156 __get_str(states), __get_str(atoms), __get_str(next))
|
| /linux/tools/perf/ |
| H A D | builtin-sched.c | 69 struct sched_atom **atoms; member
366 task->atoms = realloc(task->atoms, size); in get_new_event()
367 BUG_ON(!task->atoms); in get_new_event()
369 task->atoms[idx] = event; in get_new_event()
379 return task->atoms[task->nr_events - 1]; in last_event()
639 perf_sched__process_event(sched, this_task->atoms[i]); in thread_func()
986 struct work_atoms *atoms; in thread_atoms_search() local
989 atoms = container_of(node, struct work_atoms, node); in thread_atoms_search()
991 cmp = thread_lat_cmp(sort_list, &key, atoms); in thread_atoms_search()
997 BUG_ON(!RC_CHK_EQUAL(thread, atoms->thread)); in thread_atoms_search()
[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
1712 tmp = reallocarray(preset->atoms, i + 1, sizeof(*preset->atoms)); in append_preset_atom()
1716 preset->atoms = tmp; in append_preset_atom()
1720 preset->atoms[i].type = ARRAY_INDEX; in append_preset_atom()
1721 err = parse_rvalue(value, &preset->atoms[i].index); in append_preset_atom()
1725 preset->atoms[i].type = FIELD_NAME; in append_preset_atom()
1726 preset->atoms[i].name = strdup(value); in append_preset_atom()
1727 if (!preset->atoms[i].name) in append_preset_atom()
2010 assert(preset->atoms[0].type == FIELD_NAME); in adjust_var_secinfo()
2014 prev_name = preset->atoms[0].name; in adjust_var_secinfo()
[all …]
|
| /linux/include/linux/ |
| H A D | rv.h | 52 DECLARE_BITMAP(atoms, RV_MAX_LTL_ATOM);
|
| /linux/tools/perf/util/ |
| H A D | kwork.h | 93 struct kwork_atom atoms[NR_ATOM_PER_PAGE]; member
|
| /linux/drivers/md/dm-vdo/ |
| H A D | vdo.c | 1419 const struct atomic_statistics *atoms = &vdo->stats; in get_vdo_error_statistics() local
1422 .invalid_advice_pbn_count = atomic64_read(&atoms->invalid_advice_pbn_count), in get_vdo_error_statistics()
1423 .no_space_error_count = atomic64_read(&atoms->no_space_error_count), in get_vdo_error_statistics()
1424 .read_only_error_count = atomic64_read(&atoms->read_only_error_count), in get_vdo_error_statistics()
|
| /linux/Documentation/RCU/ |
| H A D | listRCU.rst | 91 of the finite speed of light and the non-zero size of atoms actually
|