1*61438453SGabriele Monacodigraph state_automaton { 2*61438453SGabriele Monaco center = true; 3*61438453SGabriele Monaco size = "7,11"; 4*61438453SGabriele Monaco {node [shape = plaintext, style=invis, label=""] "__init_disabled"}; 5*61438453SGabriele Monaco {node [shape = circle] "disabled"}; 6*61438453SGabriele Monaco {node [shape = doublecircle] "enabled"}; 7*61438453SGabriele Monaco {node [shape = circle] "enabled"}; 8*61438453SGabriele Monaco {node [shape = circle] "in_irq"}; 9*61438453SGabriele Monaco {node [shape = circle] "irq_disabled"}; 10*61438453SGabriele Monaco {node [shape = circle] "preempt_disabled"}; 11*61438453SGabriele Monaco "__init_disabled" -> "disabled"; 12*61438453SGabriele Monaco "disabled" [label = "disabled"]; 13*61438453SGabriele Monaco "disabled" -> "disabled" [ label = "sched_need_resched\nsched_waking\nirq_entry" ]; 14*61438453SGabriele Monaco "disabled" -> "irq_disabled" [ label = "preempt_enable" ]; 15*61438453SGabriele Monaco "disabled" -> "preempt_disabled" [ label = "irq_enable" ]; 16*61438453SGabriele Monaco "enabled" [label = "enabled", color = green3]; 17*61438453SGabriele Monaco "enabled" -> "enabled" [ label = "preempt_enable" ]; 18*61438453SGabriele Monaco "enabled" -> "irq_disabled" [ label = "irq_disable" ]; 19*61438453SGabriele Monaco "enabled" -> "preempt_disabled" [ label = "preempt_disable" ]; 20*61438453SGabriele Monaco "in_irq" [label = "in_irq"]; 21*61438453SGabriele Monaco "in_irq" -> "enabled" [ label = "irq_enable" ]; 22*61438453SGabriele Monaco "in_irq" -> "in_irq" [ label = "sched_need_resched\nsched_waking\nirq_entry" ]; 23*61438453SGabriele Monaco "irq_disabled" [label = "irq_disabled"]; 24*61438453SGabriele Monaco "irq_disabled" -> "disabled" [ label = "preempt_disable" ]; 25*61438453SGabriele Monaco "irq_disabled" -> "enabled" [ label = "irq_enable" ]; 26*61438453SGabriele Monaco "irq_disabled" -> "in_irq" [ label = "irq_entry" ]; 27*61438453SGabriele Monaco "irq_disabled" -> "irq_disabled" [ label = "sched_need_resched" ]; 28*61438453SGabriele Monaco "preempt_disabled" [label = "preempt_disabled"]; 29*61438453SGabriele Monaco "preempt_disabled" -> "disabled" [ label = "irq_disable" ]; 30*61438453SGabriele Monaco "preempt_disabled" -> "enabled" [ label = "preempt_enable" ]; 31*61438453SGabriele Monaco { rank = min ; 32*61438453SGabriele Monaco "__init_disabled"; 33*61438453SGabriele Monaco "disabled"; 34*61438453SGabriele Monaco } 35*61438453SGabriele Monaco} 36