1/*
2 * Automatically generated C representation of wip automaton
3 * For further information about this format, see kernel documentation:
4 *   Documentation/trace/rv/deterministic_automata.rst
5 */
6
7enum states_wip {
8	preemptive_wip = 0,
9	non_preemptive_wip,
10	state_max_wip
11};
12
13#define INVALID_STATE state_max_wip
14
15enum events_wip {
16	preempt_disable_wip = 0,
17	preempt_enable_wip,
18	sched_waking_wip,
19	event_max_wip
20};
21
22struct automaton_wip {
23	char *state_names[state_max_wip];
24	char *event_names[event_max_wip];
25	unsigned char function[state_max_wip][event_max_wip];
26	unsigned char initial_state;
27	bool final_states[state_max_wip];
28};
29
30static const struct automaton_wip automaton_wip = {
31	.state_names = {
32		"preemptive",
33		"non_preemptive"
34	},
35	.event_names = {
36		"preempt_disable",
37		"preempt_enable",
38		"sched_waking"
39	},
40	.function = {
41		{ non_preemptive_wip,      INVALID_STATE,      INVALID_STATE },
42		{      INVALID_STATE,     preemptive_wip, non_preemptive_wip },
43	},
44	.initial_state = preemptive_wip,
45	.final_states = { 1, 0 },
46};
47