mirror of
https://git.kernel.org/pub/scm/linux/kernel/git/stable/linux.git
synced 2025-08-17 00:13:45 +00:00
41a4d2d3e3
Some monitor files like the main header and the Kconfig are missing the license identifier. Add it to those and make sure the automatic generation script includes the line in newly created monitors. Cc: Masami Hiramatsu <mhiramat@kernel.org> Cc: Ingo Molnar <mingo@redhat.com> Cc: Peter Zijlstra <peterz@infradead.org> Cc: Juri Lelli <juri.lelli@redhat.com> Link: https://lore.kernel.org/20250218123121.253551-3-gmonaco@redhat.com Signed-off-by: Gabriele Monaco <gmonaco@redhat.com> Signed-off-by: Steven Rostedt (Google) <rostedt@goodmis.org>
48 lines
1.0 KiB
C
48 lines
1.0 KiB
C
/* SPDX-License-Identifier: GPL-2.0 */
|
|
/*
|
|
* Automatically generated C representation of wip automaton
|
|
* For further information about this format, see kernel documentation:
|
|
* Documentation/trace/rv/deterministic_automata.rst
|
|
*/
|
|
|
|
enum states_wip {
|
|
preemptive_wip = 0,
|
|
non_preemptive_wip,
|
|
state_max_wip
|
|
};
|
|
|
|
#define INVALID_STATE state_max_wip
|
|
|
|
enum events_wip {
|
|
preempt_disable_wip = 0,
|
|
preempt_enable_wip,
|
|
sched_waking_wip,
|
|
event_max_wip
|
|
};
|
|
|
|
struct automaton_wip {
|
|
char *state_names[state_max_wip];
|
|
char *event_names[event_max_wip];
|
|
unsigned char function[state_max_wip][event_max_wip];
|
|
unsigned char initial_state;
|
|
bool final_states[state_max_wip];
|
|
};
|
|
|
|
static const struct automaton_wip automaton_wip = {
|
|
.state_names = {
|
|
"preemptive",
|
|
"non_preemptive"
|
|
},
|
|
.event_names = {
|
|
"preempt_disable",
|
|
"preempt_enable",
|
|
"sched_waking"
|
|
},
|
|
.function = {
|
|
{ non_preemptive_wip, INVALID_STATE, INVALID_STATE },
|
|
{ INVALID_STATE, preemptive_wip, non_preemptive_wip },
|
|
},
|
|
.initial_state = preemptive_wip,
|
|
.final_states = { 1, 0 },
|
|
};
|