1digraph { 2 PhysAddr -> PhysAddr [arrowhead=normal]; 3 PhysAddr -> RAM [arrowhead=normal]; 4 PhysAddr -> DevFrame [arrowhead=normal]; 5 6 RAM -> RAM [arrowhead=normal]; 7 RAM -> Frame [arrowhead=normal]; 8 RAM -> CNode[arrowhead=normal]; 9 RAM -> VNode [arrowhead=normal]; 10 RAM -> Dispatcher [arrowhead=normal]; 11 12 Frame -> Frame [arrowhead=normal]; 13 DevFrame -> DevFrame [arrowhead=normal]; 14 15 Dispatcher -> EndPoint [arrowhead=normal]; 16 Dispatcher -> Dispatcher [arrowhead=dot]; 17}; 18