1 /* SPDX-License-Identifier: GPL-2.0 */ 2 /* 3 * Automatically generated C representation of sco automaton 4 * For further information about this format, see kernel documentation: 5 * Documentation/trace/rv/deterministic_automata.rst 6 */ 7 8 enum states_sco { 9 thread_context_sco = 0, 10 scheduling_context_sco, 11 state_max_sco 12 }; 13 14 #define INVALID_STATE state_max_sco 15 16 enum events_sco { 17 sched_set_state_sco = 0, 18 schedule_entry_sco, 19 schedule_exit_sco, 20 event_max_sco 21 }; 22 23 struct automaton_sco { 24 char *state_names[state_max_sco]; 25 char *event_names[event_max_sco]; 26 unsigned char function[state_max_sco][event_max_sco]; 27 unsigned char initial_state; 28 bool final_states[state_max_sco]; 29 }; 30 31 static const struct automaton_sco automaton_sco = { 32 .state_names = { 33 "thread_context", 34 "scheduling_context" 35 }, 36 .event_names = { 37 "sched_set_state", 38 "schedule_entry", 39 "schedule_exit" 40 }, 41 .function = { 42 { thread_context_sco, scheduling_context_sco, INVALID_STATE }, 43 { INVALID_STATE, INVALID_STATE, thread_context_sco }, 44 }, 45 .initial_state = thread_context_sco, 46 .final_states = { 1, 0 }, 47 }; 48