Symbol: cant_sched_scpd
kernel/trace/rv/monitors/scpd/scpd.h
47
{ INVALID_STATE, cant_sched_scpd, can_sched_scpd, can_sched_scpd },
kernel/trace/rv/monitors/scpd/scpd.h
49
.initial_state = cant_sched_scpd,