nico@207: digraph G
nico@207: {
nico@207:   edge [fontname="FreeSans.ttf",fontsize=10,labelfontname="FreeSans.ttf",labelfontsize=10];
nico@207:   node [fontname="FreeSans.ttf",fontsize=10,shape=record];
nico@207:   rankdir=LR;
nico@207:   Node1 [label="initTimer",height=0.2,width=0.4,color="black", fillcolor="grey75", style="filled" fontcolor="black"];
nico@207:   Node1 -> Node2 [color="midnightblue",fontsize=10,style="solid"];
nico@207:   Node2 [label="lock",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$interrupt_8c.html#eb99ff49b4a6d5157416f9b5bd0d9c2c"];
nico@207:   Node2 -> Node3 [color="midnightblue",fontsize=10,style="solid"];
nico@207:   Node3 [label="__asm__",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$regs_8h.html#b1b104e72affb247e036289d0fc18ac7"];
nico@207:   Node1 -> Node4 [color="midnightblue",fontsize=10,style="solid"];
nico@207:   Node4 [label="timer_notify",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$timers__unix_8c.html#4cd19302f57b08fc0403a05017332735"];
nico@207:   Node4 -> Node5 [color="midnightblue",fontsize=10,style="solid"];
nico@207:   Node5 [label="EnterMutex",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$timers__unix_8c.html#d7fee43b8a44cf8b7036853593044037"];
nico@207:   Node4 -> Node6 [color="midnightblue",fontsize=10,style="solid"];
nico@207:   Node6 [label="LeaveMutex",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$timers__unix_8c.html#73d9a4eb941fb20cf6b597840510394b"];
nico@207:   Node4 -> Node7 [color="midnightblue",fontsize=10,style="solid"];
nico@207:   Node7 [label="TimeDispatch",height=0.2,width=0.4,color="red", fillcolor="white", style="filled",URL="$timer_8c.html#fa75192a3238525618f8cb83004930cc"];
nico@207:   Node1 -> Node8 [color="midnightblue",fontsize=10,style="solid"];
nico@207:   Node8 [label="unlock",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$interrupt_8c.html#987ce601d6d4c8eedd68b58db3b7811a"];
nico@207:   Node8 -> Node3 [color="midnightblue",fontsize=10,style="solid"];
nico@207: }