1 /* SPDX-License-Identifier: GPL-2.0 */ 2 /* 3 * Automatically generated C representation of test_ha_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_ha_kunit 9 10 enum states_test_ha_kunit { 11 S0_test_ha_kunit, 12 S1_test_ha_kunit, 13 S2_test_ha_kunit, 14 S3_test_ha_kunit, 15 state_max_test_ha_kunit, 16 }; 17 18 #define INVALID_STATE state_max_test_ha_kunit 19 20 enum events_test_ha_kunit { 21 event0_test_ha_kunit, 22 event1_test_ha_kunit, 23 event2_test_ha_kunit, 24 event_max_test_ha_kunit, 25 }; 26 27 enum envs_test_ha_kunit { 28 clk_test_ha_kunit, 29 env1_test_ha_kunit, 30 env2_test_ha_kunit, 31 env_max_test_ha_kunit, 32 env_max_stored_test_ha_kunit = env1_test_ha_kunit, 33 }; 34 35 _Static_assert(env_max_stored_test_ha_kunit <= MAX_HA_ENV_LEN, "Not enough slots"); 36 #define HA_CLK_NS 37 38 struct automaton_test_ha_kunit { 39 char *state_names[state_max_test_ha_kunit]; 40 char *event_names[event_max_test_ha_kunit]; 41 char *env_names[env_max_test_ha_kunit]; 42 unsigned char function[state_max_test_ha_kunit][event_max_test_ha_kunit]; 43 unsigned char initial_state; 44 bool final_states[state_max_test_ha_kunit]; 45 }; 46 47 static const struct automaton_test_ha_kunit automaton_test_ha_kunit = { 48 .state_names = { 49 "S0", 50 "S1", 51 "S2", 52 "S3", 53 }, 54 .event_names = { 55 "event0", 56 "event1", 57 "event2", 58 }, 59 .env_names = { 60 "clk", 61 "env1", 62 "env2", 63 }, 64 .function = { 65 { 66 S0_test_ha_kunit, 67 S1_test_ha_kunit, 68 INVALID_STATE, 69 }, 70 { 71 S0_test_ha_kunit, 72 INVALID_STATE, 73 S2_test_ha_kunit, 74 }, 75 { 76 INVALID_STATE, 77 S2_test_ha_kunit, 78 S3_test_ha_kunit, 79 }, 80 { 81 S0_test_ha_kunit, 82 S1_test_ha_kunit, 83 INVALID_STATE, 84 }, 85 }, 86 .initial_state = S0_test_ha_kunit, 87 .final_states = { 1, 0, 0, 0 }, 88 }; 89