Replaced caddr_t type with capaddr_t to avoid conflict with libc
[barrelfish] / doc / 010-spec / init_cspace.dot
1 digraph cspace {
2         rankdir=LR;
3
4         node [shape = record, height = .1];
5         dcb [label = "<n>DCB|<0>rootcn|<1>dispatcher", style=bold];
6         rootcn [label = "<n>\N|<0>0x0 taskcn|<1>0x1 pagecn|<2>0x2 smallcn|<3>0x3 supercn|<4>0x4 segcn|<5>0x5 phyaddrcn|..."];
7         taskcn [label = "<n>\N|<0>0x0 NULL|<1>0x1 DCB|<2>0x2 rootcn|<4>0x4 dispframe|0x5 IRQTable|0x6 IO|0x7 BootInfo|0x8 Kernel|..."];
8         pagecn [label = "<n>\N|0x0 PML4|0x1 PDPT|...|PDIR|...|PTABLE|..."];
9         segcn [label = "<n>\N|0x0 .text|...|.data|...|Multiboot|..."];
10         rootcn:0 -> taskcn:n [label = "0...0 (20 bits)"];
11         rootcn:0 -> pagecn:n;
12         rootcn:3 -> segcn:n;
13         dcb:0 -> rootcn:n;
14         dcb:1 -> taskcn:4;
15         taskcn:1 -> dcb:n;
16         taskcn:2 -> rootcn:n;
17 }