1 /* SPDX-License-Identifier: GPL-2.0 */ 2 /* 3 * Automatically generated C representation of da_pertask_desc 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_pertask_desc 9 10 enum states_da_pertask_desc { 11 state_a_da_pertask_desc, 12 state_b_da_pertask_desc, 13 state_c_da_pertask_desc, 14 state_max_da_pertask_desc, 15 }; 16 17 #define INVALID_STATE state_max_da_pertask_desc 18 19 enum events_da_pertask_desc { 20 event_1_da_pertask_desc, 21 event_2_da_pertask_desc, 22 event_3_da_pertask_desc, 23 event_max_da_pertask_desc, 24 }; 25 26 struct automaton_da_pertask_desc { 27 char *state_names[state_max_da_pertask_desc]; 28 char *event_names[event_max_da_pertask_desc]; 29 unsigned char function[state_max_da_pertask_desc][event_max_da_pertask_desc]; 30 unsigned char initial_state; 31 bool final_states[state_max_da_pertask_desc]; 32 }; 33 34 static const struct automaton_da_pertask_desc automaton_da_pertask_desc = { 35 .state_names = { 36 "state_a", 37 "state_b", 38 "state_c", 39 }, 40 .event_names = { 41 "event_1", 42 "event_2", 43 "event_3", 44 }, 45 .function = { 46 { 47 state_b_da_pertask_desc, 48 state_c_da_pertask_desc, 49 INVALID_STATE, 50 }, 51 { 52 INVALID_STATE, 53 state_a_da_pertask_desc, 54 state_c_da_pertask_desc, 55 }, 56 { 57 INVALID_STATE, 58 INVALID_STATE, 59 INVALID_STATE, 60 }, 61 }, 62 .initial_state = state_a_da_pertask_desc, 63 .final_states = { 1, 0, 0 }, 64 }; 65