skb/programs/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,
277         node_id:Id,
313         node_id:Id,
317         node_id: Id,
396         node_id:NodeId,
411         node_id:SrcNodeId,
415         node_id:DstNodeId,
423         name{node_id:["IN", "IOMMU0", "PCI0"], address: [memory, [1]]},
425     Out = name{node_id: ["OUT", "IOMMU0", "PCI0"], address: [memory, [1]]}.
460         name{node_id:["In"], address:[memory, [1000]]},
461         name{node_id:["Out1"], address:[memory, [0]]}),
464         name{node_id:["In"], address:[memory, [500]]},
465         name{node_id:["Out2"], address:[memory, [500]]}).
478         name{node_id:["In1"], address:[memory, [1000]]},
481         name{node_id:["In2"], address:Out},
493     InRegion = region{node_id:["In1"], blocks:[memory, [block{base:1000, limit:1500}]]},
711         node_id: NodeId,
770         node_id: NodeId,
776     Region = region{ node_id: NodeId, blocks: Blocks },
818     Proc = name{node_id: ["OUT", "PROC0", "PROC0"]},
819     Pci = name{node_id: ["OUT", "PCI0", "PCI0"]},
870     R1 = region{node_id: N1Id, blocks: [memory, [block{base:R1Addr}]]},
871     R2 = region{node_id: N2Id, blocks: [memory, [block{base:R2Addr}]]},
872     Dest = region{node_id: DestId, blocks: [memory, [block{base:DestAddr}]]},
890     R1 = region{node_id: N1Id, blocks: [memory, [block{base:R1Addr}]]},
891     R2 = region{node_id: N2Id, blocks: [memory, [block{base:R2Addr}]]},
895     ResR = region{node_id: ResRId},
911     Proc = name{node_id: ["OUT", "PROC0", "PROC0"], address: [memory, [0]]},
912     Pci = name{node_id: ["OUT", "PCI0", "PCI0"]},
983         node_id: NodeId,
1013     one_block_upper_limit(name{node_id:["In"],address:[memory, [1400]]}, Limit),
1017     one_block_upper_limit(name{node_id:["In1"],address:[memory, [1400]]}, Limit2),
1052     SrcRegion = region{node_id: SrcNodeId, blocks: SrcBlocks},
1053     DstRegion = region{node_id: DstNodeId, blocks: DstBlocks},
1058     one_block_upper_limit(name{node_id:SrcNodeId, address:SrcBase}, BlockLimit),
1084             region{node_id:SrcNodeId, blocks: NewSrcBlocks},
1085             region{node_id:DstNodeId, blocks: NewDstBlocks},
1097             region{node_id:SrcNodeId, blocks: RemSrcBlocks},
1098             region{node_id:DstNodeId, blocks: RemDstBlocks},
1134     SrcName=name{node_id: MMU_IN_ID, address: [memory, [0]]},
1135     DstName=name{node_id: DRAM_ID, address: FreeDRAM},
1150     SrcName1=name{node_id: MMU_IN_ID, address: [memory, [0]]},
1151     DstName1=name{node_id: DRAM_ID, address: FreeDRAM},
1155     SrcName2=name{node_id: MMU_IN_ID, address: [memory, [0]]},
1156     DstName2=name{node_id: DRAM_ID, address: FreeDRAM},
1166         region{node_id:["IN"], blocks:[memory,[block{base:0, limit:1000}]]},
1167         region{node_id:["OUT"], blocks:[memory,[block{base: 0, limit: 1000}]]},
1181         region{node_id:["IN"], blocks:[memory,[block{base:0, limit:Limit}]]},
1182         region{node_id:["OUT"], blocks:[memory,[block{base: 0, limit: Limit}]]},
1201     name{ node_id: SrcNodeId, address: [K, [ISrcAddr]] } = SrcName,
1202     name{ node_id: DstNodeId, address: [K, [IDstAddr]] } = DstName,
1324     Proc = region{node_id: ProcId},
1326     Pci = region{node_id: PciId},
1342     PciBaseAddr = name{node_id:PciId},