| digraph state_automaton { | |
| center = true; | |
| size = "7,11"; | |
| {node [shape = plaintext, style=invis, label=""] "__init_any"}; | |
| {node [shape = doublecircle] "any"}; | |
| "__init_any" -> "any"; | |
| "any" [label = "any", color = green3]; | |
| "any" -> "any" [ label = "sched_need_resched;irq_off == 1\nsched_waking;irq_off == 1 && preempt_off == 1" ]; | |
| { rank = min ; | |
| "__init_any"; | |
| "any"; | |
| } | |
| } |