| /barrelfish-master/usr/skb/programs/ |
| H A D | decoding_net_queries.pl | 31 region{node_id:DeviceId} = DestRegion,
39 region{node_id:MemoryId} = DestRegion,
47 region{node_id:SharedId} = SharedRegion,
60 decodes_to(name{name:Core,namespace:[]},name{node_id:Id}).
67 node_id:Core, label
77 find_memory_region(region{node_id:Core,namespace:[],base:Base,size:Size},region{name:Id})
79 node_id{name:CoreName} = Core,
90 find_device_region(region{node_id:Core,namespace:[],base:Base,size:Size},region{name:Id})
92 node_id{name:CoreName} = Core,
103 node_id label
[all...] |
| H A D | decoding_net.pl | 22 :- export struct(node(id:node_id,spec:node_spec)).
23 :- export struct(node_id(name,namespace)).
28 :- export struct(name(node_id:node_id,address)).
29 :- export struct(region(node_id:node_id,base,size)).
30 :- export struct(meta(node_id:node_id,key,value)).
33 :- local struct(region_enum_block(node_id:node_id, in_bas
51 node_id:Id, label
58 node_id:Id, label
65 node_id:Id, label
72 node_id:Id, label
96 node_id:Dest, label
124 node_id:NodeId, label
135 node_id:NodeId, label
[all...] |
| H A D | decoding_net3.pl | 44 :- export struct(region(node_id,blocks)).
45 :- export struct(name(node_id,address)).
58 Reg = region{node_id: NodeId},
70 Reg = region{node_id: NodeId},
72 not(state_query(S, mapping(region{node_id:NodeId,blocks:[_,block{base:Min}]}, _))),
90 region{node_id: ["IN"], blocks: [memory, block{base:100, limit:200}]},
91 name{node_id: ["OUT"], address: [memory, 1]}),
93 region{node_id: ["Dummy"], blocks: [memory, block{base:7, limit:77}]},
94 name{node_id: ["OUT"], address: [memory, 1]})
107 region{node_id
408 node_id:Id, label
413 node_id:Id, label
443 node_id:Id, label
447 node_id: Id, label
472 node_id:NodeId, label
748 node_id: ["IN"], label
1039 node_id: BarId, label
1043 node_id: PCIBUS_ID, label
1047 node_id: BarId, label
1110 node_id: NodeId, label
1165 node_id: NodeId, label
1376 node_id: NodeId, label
[all...] |
| H A D | decoding_net3_multid.pl | 41 :- export struct(region(node_id,blocks)).
42 :- export struct(name(node_id,address)).
55 Reg = region{node_id: NodeId},
67 Reg = region{node_id: NodeId},
69 not(state_query(S, mapping(region{node_id:NodeId,blocks:[_,[block{base:Min}]]}, _))),
87 region{node_id: ["IN"], blocks: [memory, [block{base:100, limit:200}]]},
88 name{node_id: ["OUT"], address: [memory, [1]]}),
90 region{node_id: ["Dummy"], blocks: [memory, [block{base:7, limit:77}]]},
91 name{node_id: ["OUT"], address: [memory, [1]]})
104 region{node_id
455 node_id:Id, label
460 node_id:Id, label
495 node_id:Id, label
499 node_id: Id, label
525 node_id:NodeId, label
691 node_id: ["IN"], label
1029 node_id: NodeId, label
1087 node_id: NodeId, label
1298 node_id: NodeId, label
[all...] |
| H A D | decoding_net2.pl | 40 :- export struct(region(node_id,blocks)).
41 :- export struct(name(node_id,address)).
77 Proc = region{node_id: ["OUT", "PROC0", "PROC0"]},
224 Region = region{node_id: NodeId, blocks: Blocks},
225 Name = name{node_id:NodeId, address: Base},
230 Region = region{node_id: NodeId, blocks: Blocks},
232 Name = name{node_id:NodeId, address: Base}.
272 node_id:Id, label
277 node_id:Id, label
313 node_id label
317 node_id: Id, label
396 node_id:NodeId, label
411 node_id:SrcNodeId, label
415 node_id:DstNodeId, label
711 node_id: NodeId, label
770 node_id: NodeId, label
983 node_id: NodeId, label
[all...] |