1digraph state_automaton { 2 center = true; 3 size = "7,11"; 4 {node [shape = circle] "enqueued"}; 5 {node [shape = plaintext, style=invis, label=""] "__init_dequeued"}; 6 {node [shape = doublecircle] "dequeued"}; 7 {node [shape = circle] "running"}; 8 "__init_dequeued" -> "dequeued"; 9 "enqueued" [label = "enqueued\nclk < threshold_jiffies"]; 10 "running" [label = "running"]; 11 "dequeued" [label = "dequeued", color = green3]; 12 "running" -> "running" [ label = "sched_switch_in\nsched_wakeup" ]; 13 "enqueued" -> "enqueued" [ label = "sched_wakeup" ]; 14 "enqueued" -> "running" [ label = "sched_switch_in" ]; 15 "running" -> "dequeued" [ label = "sched_switch_wait" ]; 16 "dequeued" -> "enqueued" [ label = "sched_wakeup;reset(clk)" ]; 17 "running" -> "enqueued" [ label = "sched_switch_preempt;reset(clk)" ]; 18 { rank = min ; 19 "__init_dequeued"; 20 "dequeued"; 21 } 22} 23