/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...] |