1 digraph state_automaton {
2 {
node [
shape =
circle]
"non_preemptive"}
;
3 {
node [
shape =
plaintext, style=
invis, label=
""]
"__init_preemptive"}
;
4 {
node [
shape =
doublecircle]
"preemptive"}
;
5 {
node [
shape =
circle]
"preemptive"}
;
6 "__init_preemptive" -> "preemptive";
7 "non_preemptive" [
label =
"non_preemptive"]
;
8 "non_preemptive" -> "non_preemptive" [
label =
"sched_waking" ]
;
9 "non_preemptive" -> "preemptive" [
label =
"preempt_enable" ]
;
10 "preemptive" [
label =
"preemptive"]
;
11 "preemptive" -> "non_preemptive" [
label =
"preempt_disable" ]
;
