Replaced caddr_t type with capaddr_t to avoid conflict with libc
[barrelfish] / doc / 010-spec / disp_states_simple_save_area_analysis.dot
1 digraph {
2         rankdir=RL;
3
4         running_e [label="running\nenabled"];
5         running_d [label="running\ndisabled"];
6         notrunning_e [label="notrunning\nenabled"];
7         notrunning_d [style="bold", label="notrunning\ndisabled"];
8
9         running_e -> notrunning_e [label="enabled_save_area"];
10         running_e -> running_d [fontname="Times-Italic", style="dashed", label="enabled_save_area"];
11         running_d -> running_e [fontname="Times-Italic", style="dashed", label="enabled_save_area"];
12         running_d -> notrunning_d [label="disabled_save_area"];
13         notrunning_d -> running_d;
14         notrunning_e -> running_d;
15 };