git.barrelfish.org Git - barrelfish/blob - doc/010-spec/app_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|...|<4>0x4 segcn"];
   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|0x9 VMM request EP|0xa self EP|0xb Args frame|0xc Init EP|..."];
   8         pagecn [label = "<n>\N|0x0 PML4|0x1 PDPT|...|PDIR|...|PTABLE|..."];
   9         rootcn:0 -> taskcn:n [label = "0...0 (20 bits)"];
  10         rootcn:0 -> pagecn:n;
  11         dcb:0 -> rootcn:n;
  12         dcb:1 -> taskcn:4;
  13         taskcn:1 -> dcb:n;
  14         taskcn:2 -> rootcn:n;
  15 }