| digraph state_automaton { | |
| {node [shape = circle] "non_preemptive"}; | |
| {node [shape = plaintext, style=invis, label=""] "__init_preemptive"}; | |
| {node [shape = doublecircle] "preemptive"}; | |
| {node [shape = circle] "preemptive"}; | |
| "__init_preemptive" -> "preemptive"; | |
| "non_preemptive" [label = "non_preemptive"]; | |
| "non_preemptive" -> "non_preemptive" [ label = "sched_waking" ]; | |
| "non_preemptive" -> "preemptive" [ label = "preempt_enable" ]; | |
| "preemptive" [label = "preemptive"]; | |
| "preemptive" -> "non_preemptive" [ label = "preempt_disable" ]; | |
| { rank = min ; | |
| "__init_preemptive"; | |
| "preemptive"; | |
| } | |
| } |