1digraph state_automaton { 2 center = true; 3 size = "7,11"; 4 {node [shape = plaintext, style=invis, label=""] "__init_any"}; 5 {node [shape = doublecircle] "any"}; 6 "__init_any" -> "any"; 7 "any" [label = "any", color = green3]; 8 "any" -> "any" [ label = "sched_need_resched;irq_off == 1\nsched_waking;irq_off == 1 && preempt_off == 1" ]; 9 { rank = min ; 10 "__init_any"; 11 "any"; 12 } 13} 14