Searched refs:write_tree (Results 1 - 2 of 2) sorted by relevance
/barrelfish-2018-10-04/tools/ |
H A D | create_mdb_dot.py | 125 def write_tree(root, outfh): function 130 write_tree(root.leftcap, outfh) 134 write_tree(root.rightcap, outfh) 164 write_tree(treeroot, f)
|
/barrelfish-2018-10-04/usr/skb/programs/ |
H A D | compute_required_resources.pl | 185 write_tree(BusElements). 187 write_tree([]). 188 write_tree([buselement(bridge,addr(Bus,Dev,Fun),secondary(Sec),Base,High,Size,Type,Prefetch, PCIe, 0)|BusElements]) :- 225 write_tree(BusElements). 227 write_tree([buselement(device,addr(Bus,Dev,Fun),BAR,Base,High,Size,Type,Prefetch, PCIe, Pin)|BusElements]) :- 264 write_tree(BusElements).
|
Completed in 37 milliseconds