1 /* SPDX-License-Identifier: GPL-2.0 */ 2 /* 3 * Automatically generated C representation of test_da_kunit automaton 4 * For further information about this format, see kernel documentation: 5 * Documentation/trace/rv/deterministic_automata.rst 6 */ 7 8 #define MONITOR_NAME test_da_kunit 9 10 enum states_test_da_kunit { 11 state_a_test_da_kunit, 12 state_b_test_da_kunit, 13 state_max_test_da_kunit, 14 }; 15 16 #define INVALID_STATE state_max_test_da_kunit 17 18 enum events_test_da_kunit { 19 event_1_test_da_kunit, 20 event_2_test_da_kunit, 21 event_max_test_da_kunit, 22 }; 23 24 struct automaton_test_da_kunit { 25 char *state_names[state_max_test_da_kunit]; 26 char *event_names[event_max_test_da_kunit]; 27 unsigned char function[state_max_test_da_kunit][event_max_test_da_kunit]; 28 unsigned char initial_state; 29 bool final_states[state_max_test_da_kunit]; 30 }; 31 32 static const struct automaton_test_da_kunit automaton_test_da_kunit = { 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_test_da_kunit, state_a_test_da_kunit }, 43 { INVALID_STATE, state_a_test_da_kunit }, 44 }, 45 .initial_state = state_a_test_da_kunit, 46 .final_states = { 1, 0 }, 47 }; 48