Commit | Line | Data |
---|---|---|
10bde81c DBO |
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" ]; | |
12 | { rank = min ; | |
13 | "__init_preemptive"; | |
14 | "preemptive"; | |
15 | } | |
16 | } |