1 /* SPDX-License-Identifier: GPL-2.0 */ 2 /* 3 * Automatically generated C representation of da_global automaton 4 * For further information about this format, see kernel documentation: 5 * Documentation/trace/rv/deterministic_automata.rst 6 */ 7 8 #define MONITOR_NAME da_global 9 10 enum states_da_global { 11 state_a_da_global, 12 state_b_da_global, 13 state_max_da_global, 14 }; 15 16 #define INVALID_STATE state_max_da_global 17 18 enum events_da_global { 19 event_1_da_global, 20 event_2_da_global, 21 event_max_da_global, 22 }; 23 24 struct automaton_da_global { 25 char *state_names[state_max_da_global]; 26 char *event_names[event_max_da_global]; 27 unsigned char function[state_max_da_global][event_max_da_global]; 28 unsigned char initial_state; 29 bool final_states[state_max_da_global]; 30 }; 31 32 static const struct automaton_da_global automaton_da_global = { 33 .state_names = { 34 "state_a", 35 "state_b", 36 }, 37 .event_names = { 38 "event_1", 39 "event_2", 40 }, 41 .function = { 42 { state_b_da_global, state_a_da_global }, 43 { INVALID_STATE, state_a_da_global }, 44 }, 45 .initial_state = state_a_da_global, 46 .final_states = { 1, 0 }, 47 }; 48