| 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"; |
| } |
| } |
