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
7 enum states_wip {
8 preemptive_wip = 0,
9 non_preemptive_wip,
10 state_max_wip
11 };
12
13 #define INVALID_STATE state_max_wip
14
15 enum events_wip {
16 preempt_disable_wip = 0,
17 preempt_enable_wip,
18 sched_waking_wip,
19 event_max_wip
20 };
21
22 struct 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
30 static 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
Linux® is a registered trademark of Linus Torvalds in the United States and other countries.
TOMOYO® is a registered trademark of NTT DATA CORPORATION.