models/sched/opid.dot

6 	{node [shape = doublecircle] "enabled"};
7 	{node [shape = circle] "enabled"};
16 	"enabled" [label = "enabled", color = green3];
17 	"enabled" -> "enabled" [ label = "preempt_enable" ];
18 	"enabled" -> "irq_disabled" [ label = "irq_disable" ];
19 	"enabled" -> "preempt_disabled" [ label = "preempt_disable" ];
21 	"in_irq" -> "enabled" [ label = "irq_enable" ];
25 	"irq_disabled" -> "enabled" [ label = "irq_enable" ];
30 	"preempt_disabled" -> "enabled" [ label = "preempt_enable" ];