blob: eb1df8ae90795a8f11669383e1313ff0b080ef6c (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
digraph timer_state_machine {
rankdir=LR;
node [fontsize=28];
edge [fontsize=28];
node [shape=doublecircle]; Timer_Unalloc;
node [shape=circle]; Timer_Alloc Timer_Active Timer_Expired
Timer_Unalloc -> Timer_Alloc [label="odp_timer_alloc()"];
Timer_Alloc -> Timer_Unalloc [label="odp_timer_free()"];
Timer_Alloc -> Timer_Active [fontcolor=green,label="odp_timer_start()"];
Timer_Active -> Timer_Alloc [fontcolor=green,label="odp_timer_cancel()"];
Timer_Active -> Timer_Expired [fontcolor=green,label="timer expires"];
Timer_Expired -> Timer_Unalloc [label="odp_timer_free()"];
Timer_Expired -> Timer_Active [fontcolor=green, label="odp_timer_start()"];
}
|