1ioapic(4, 4273995776, 0). 2ioapic(5, 3489660928, 24). 3 4rootbridge(addr(0, 0, 0), childbus(0, 127), mem(2952790016, 3489660927)). 5% rootbridge(addr(0, 0, 0), childbus(0, 127), mem(0, 536870911)). 6 7bar(addr(0, 4, 0), 0, 2957049856, 16777216, mem, nonprefetchable, 64). 8bar(addr(0, 5, 0), 0, 2957049856, 33554432, mem, nonprefetchable, 64). 9bar(addr(0, 6, 0), 0, 2957049856, 67108864, mem, nonprefetchable, 64). 10bar(addr(0, 7, 0), 0, 2957049856, 131072, mem, nonprefetchable, 64). 11bar(addr(0, 8, 0), 0, 2957049856, 262144, mem, nonprefetchable, 64). 12bar(addr(0, 9, 0), 0, 2957049856, 524288, mem, nonprefetchable, 64). 13bar(addr(0, 10, 0), 0, 2957049856, 1048576, mem, nonprefetchable, 64). 14bar(addr(0, 11, 0), 0, 2957049856, 2097152, mem, nonprefetchable, 64). 15bar(addr(0, 12, 0), 0, 2957049856, 4194304, mem, nonprefetchable, 64). 16bar(addr(0, 13, 0), 0, 2957049856, 8388608, mem, nonprefetchable, 64). 17 18 19bar(addr(1, 4, 0), 0, 2957049856, 16777216, mem, nonprefetchable, 64). 20bar(addr(1, 5, 0), 0, 2957049856, 33554432, mem, nonprefetchable, 64). 21bar(addr(1, 6, 0), 0, 2957049856, 67108864, mem, nonprefetchable, 64). 22bar(addr(1, 7, 0), 0, 2957049856, 131072, mem, nonprefetchable, 64). 23bar(addr(1, 8, 0), 0, 2957049856, 262144, mem, nonprefetchable, 64). 24bar(addr(1, 9, 0), 0, 2957049856, 524288, mem, nonprefetchable, 64). 25bar(addr(1, 10, 0), 0, 2957049856, 1048576, mem, nonprefetchable, 64). 26bar(addr(1, 11, 0), 0, 2957049856, 2097152, mem, nonprefetchable, 64). 27bar(addr(1, 12, 0), 0, 2957049856, 4194304, mem, nonprefetchable, 64). 28bar(addr(1, 13, 0), 0, 2957049856, 8388608, mem, nonprefetchable, 64). 29 30bar(addr(2, 4, 0), 0, 2957049856, 16777216, mem, nonprefetchable, 64). 31bar(addr(2, 5, 0), 0, 2957049856, 33554432, mem, nonprefetchable, 64). 32bar(addr(2, 6, 0), 0, 2957049856, 67108864, mem, nonprefetchable, 64). 33bar(addr(2, 7, 0), 0, 2957049856, 131072, mem, nonprefetchable, 64). 34bar(addr(2, 8, 0), 0, 2957049856, 262144, mem, nonprefetchable, 64). 35bar(addr(2, 9, 0), 0, 2957049856, 524288, mem, nonprefetchable, 64). 36bar(addr(2, 10, 0), 0, 2957049856, 1048576, mem, nonprefetchable, 64). 37bar(addr(2, 11, 0), 0, 2957049856, 2097152, mem, nonprefetchable, 64). 38bar(addr(2, 12, 0), 0, 2957049856, 4194304, mem, nonprefetchable, 64). 39bar(addr(2, 13, 0), 0, 2957049856, 8388608, mem, nonprefetchable, 64). 40 41bar(addr(3, 4, 0), 0, 2957049856, 16777216, mem, nonprefetchable, 64). 42bar(addr(3, 5, 0), 0, 2957049856, 33554432, mem, nonprefetchable, 64). 43bar(addr(3, 6, 0), 0, 2957049856, 262144, mem, nonprefetchable, 64). 44bar(addr(3, 7, 0), 0, 2957049856, 131072, mem, nonprefetchable, 64). 45bar(addr(3, 8, 0), 0, 2957049856, 67108864, mem, nonprefetchable, 64). 46bar(addr(3, 9, 0), 0, 2957049856, 524288, mem, nonprefetchable, 64). 47bar(addr(3, 10, 0), 0, 2957049856, 1048576, mem, nonprefetchable, 64). 48bar(addr(3, 11, 0), 0, 2957049856, 2097152, mem, nonprefetchable, 64). 49bar(addr(3, 12, 0), 0, 2957049856, 4194304, mem, nonprefetchable, 64). 50bar(addr(3, 13, 0), 0, 2957049856, 8388608, mem, nonprefetchable, 64). 51 52bar(addr(4, 4, 0), 0, 2957049856, 16777216, mem, nonprefetchable, 64). 53bar(addr(4, 5, 0), 0, 2957049856, 33554432, mem, nonprefetchable, 64). 54bar(addr(4, 6, 0), 0, 2957049856, 67108864, mem, nonprefetchable, 64). 55bar(addr(4, 7, 0), 0, 2957049856, 131072, mem, nonprefetchable, 64). 56bar(addr(4, 8, 0), 0, 2957049856, 262144, mem, nonprefetchable, 64). 57bar(addr(4, 9, 0), 0, 2957049856, 524288, mem, nonprefetchable, 64). 58bar(addr(4, 10, 0), 0, 2957049856, 1048576, mem, nonprefetchable, 64). 59bar(addr(4, 11, 0), 0, 2957049856, 2097152, mem, nonprefetchable, 64). 60bar(addr(4, 12, 0), 0, 2957049856, 4194304, mem, nonprefetchable, 64). 61bar(addr(4, 13, 0), 0, 2957049856, 8388608, mem, nonprefetchable, 64). 62 63bar(addr(5, 4, 0), 0, 2957049856, 16777216, mem, nonprefetchable, 64). 64bar(addr(5, 5, 0), 0, 2957049856, 33554432, mem, nonprefetchable, 64). 65bar(addr(5, 6, 0), 0, 2957049856, 67108864, mem, nonprefetchable, 64). 66bar(addr(5, 7, 0), 0, 2957049856, 131072, mem, nonprefetchable, 64). 67bar(addr(5, 8, 0), 0, 2957049856, 262144, mem, nonprefetchable, 64). 68bar(addr(5, 9, 0), 0, 2957049856, 524288, mem, nonprefetchable, 64). 69bar(addr(5, 10, 0), 0, 2957049856, 1048576, mem, nonprefetchable, 64). 70bar(addr(5, 11, 0), 0, 2957049856, 2097152, mem, nonprefetchable, 64). 71bar(addr(5, 12, 0), 0, 2957049856, 4194304, mem, nonprefetchable, 64). 72bar(addr(5, 13, 0), 0, 2957049856, 8388608, mem, nonprefetchable, 64). 73 74bar(addr(6, 4, 0), 0, 2957049856, 16777216, mem, nonprefetchable, 64). 75bar(addr(6, 5, 0), 0, 2957049856, 33554432, mem, nonprefetchable, 64). 76bar(addr(6, 6, 0), 0, 2957049856, 67108864, mem, nonprefetchable, 64). 77bar(addr(6, 7, 0), 0, 2957049856, 131072, mem, nonprefetchable, 64). 78bar(addr(6, 8, 0), 0, 2957049856, 262144, mem, nonprefetchable, 64). 79bar(addr(6, 9, 0), 0, 2957049856, 524288, mem, nonprefetchable, 64). 80bar(addr(6, 10, 0), 0, 2957049856, 1048576, mem, nonprefetchable, 64). 81bar(addr(6, 11, 0), 0, 2957049856, 2097152, mem, nonprefetchable, 64). 82bar(addr(6, 12, 0), 0, 2957049856, 4194304, mem, nonprefetchable, 64). 83bar(addr(6, 13, 0), 0, 2957049856, 8388608, mem, nonprefetchable, 64). 84 85bar(addr(7, 4, 0), 0, 2957049856, 16777216, mem, nonprefetchable, 64). 86bar(addr(7, 5, 0), 0, 2957049856, 33554432, mem, nonprefetchable, 64). 87bar(addr(7, 6, 0), 0, 2957049856, 67108864, mem, nonprefetchable, 64). 88bar(addr(7, 7, 0), 0, 2957049856, 131072, mem, nonprefetchable, 64). 89bar(addr(7, 8, 0), 0, 2957049856, 262144, mem, nonprefetchable, 64). 90bar(addr(7, 9, 0), 0, 2957049856, 524288, mem, nonprefetchable, 64). 91bar(addr(7, 10, 0), 0, 2957049856, 1048576, mem, nonprefetchable, 64). 92bar(addr(7, 11, 0), 0, 2957049856, 2097152, mem, nonprefetchable, 64). 93bar(addr(7, 12, 0), 0, 2957049856, 4194304, mem, nonprefetchable, 64). 94bar(addr(7, 13, 0), 0, 2957049856, 8388608, mem, nonprefetchable, 64). 95 96bar(addr(8, 4, 0), 0, 2957049856, 16777216, mem, nonprefetchable, 64). 97bar(addr(8, 5, 0), 0, 2957049856, 33554432, mem, nonprefetchable, 64). 98bar(addr(8, 6, 0), 0, 2957049856, 67108864, mem, nonprefetchable, 64). 99bar(addr(8, 7, 0), 0, 2957049856, 131072, mem, nonprefetchable, 64). 100bar(addr(8, 8, 0), 0, 2957049856, 262144, mem, nonprefetchable, 64). 101bar(addr(8, 9, 0), 0, 2957049856, 524288, mem, nonprefetchable, 64). 102bar(addr(8, 10, 0), 0, 2957049856, 1048576, mem, nonprefetchable, 64). 103bar(addr(8, 11, 0), 0, 2957049856, 2097152, mem, nonprefetchable, 64). 104bar(addr(8, 12, 0), 0, 2957049856, 4194304, mem, nonprefetchable, 64). 105bar(addr(8, 13, 0), 0, 2957049856, 8388608, mem, nonprefetchable, 64). 106 107bar(addr(9, 4, 0), 0, 2957049856, 16384, mem, nonprefetchable, 64). 108bar(addr(9, 5, 0), 0, 2957049856, 33554432, mem, nonprefetchable, 64). 109bar(addr(9, 6, 0), 0, 2957049856, 65536, mem, nonprefetchable, 64). 110bar(addr(9, 7, 0), 0, 2957049856, 131072, mem, nonprefetchable, 64). 111bar(addr(9, 8, 0), 0, 2957049856, 262144, mem, nonprefetchable, 64). 112bar(addr(9, 9, 0), 0, 2957049856, 524288, mem, nonprefetchable, 64). 113bar(addr(9, 10, 0), 0, 2957049856, 1048576, mem, nonprefetchable, 64). 114bar(addr(9, 11, 0), 0, 2957049856, 2097152, mem, nonprefetchable, 64). 115bar(addr(9, 12, 0), 0, 2957049856, 4194304, mem, nonprefetchable, 64). 116bar(addr(9, 13, 0), 0, 2957049856, 8388608, mem, nonprefetchable, 64). 117 118bar(addr(10, 4, 0), 0, 2957049856, 16384, mem, nonprefetchable, 64). 119bar(addr(10, 5, 0), 0, 2957049856, 33554432, mem, nonprefetchable, 64). 120bar(addr(10, 6, 0), 0, 2957049856, 65536, mem, nonprefetchable, 64). 121bar(addr(10, 7, 0), 0, 2957049856, 131072, mem, nonprefetchable, 64). 122bar(addr(10, 8, 0), 0, 2957049856, 262144, mem, nonprefetchable, 64). 123bar(addr(10, 9, 0), 0, 2957049856, 524288, mem, nonprefetchable, 64). 124bar(addr(10, 10, 0), 0, 2957049856, 1048576, mem, nonprefetchable, 64). 125bar(addr(10, 11, 0), 0, 2957049856, 2097152, mem, nonprefetchable, 64). 126bar(addr(10, 12, 0), 0, 2957049856, 4194304, mem, nonprefetchable, 64). 127bar(addr(10, 13, 0), 0, 2957049856, 8388608, mem, nonprefetchable, 64). 128 129bar(addr(11, 4, 0), 0, 2957049856, 16384, mem, nonprefetchable, 64). 130bar(addr(11, 5, 0), 0, 2957049856, 32768, mem, nonprefetchable, 64). 131bar(addr(11, 6, 0), 0, 2957049856, 65536, mem, nonprefetchable, 64). 132bar(addr(11, 7, 0), 0, 2957049856, 131072, mem, nonprefetchable, 64). 133bar(addr(11, 8, 0), 0, 2957049856, 262144, mem, nonprefetchable, 64). 134bar(addr(11, 9, 0), 0, 2957049856, 524288, mem, nonprefetchable, 64). 135bar(addr(11, 10, 0), 0, 2957049856, 1048576, mem, nonprefetchable, 64). 136bar(addr(11, 11, 0), 0, 2957049856, 2097152, mem, nonprefetchable, 64). 137bar(addr(11, 12, 0), 0, 2957049856, 4194304, mem, nonprefetchable, 64). 138bar(addr(11, 13, 0), 0, 2957049856, 8388608, mem, nonprefetchable, 64). 139 140bar(addr(12, 4, 0), 0, 2957049856, 16384, mem, nonprefetchable, 64). 141bar(addr(12, 5, 0), 0, 2957049856, 32768, mem, nonprefetchable, 64). 142bar(addr(12, 6, 0), 0, 2957049856, 65536, mem, nonprefetchable, 64). 143bar(addr(12, 7, 0), 0, 2957049856, 131072, mem, nonprefetchable, 64). 144bar(addr(12, 8, 0), 0, 2957049856, 262144, mem, nonprefetchable, 64). 145bar(addr(12, 9, 0), 0, 2957049856, 524288, mem, nonprefetchable, 64). 146bar(addr(12, 10, 0), 0, 2957049856, 1048576, mem, nonprefetchable, 64). 147bar(addr(12, 11, 0), 0, 2957049856, 2097152, mem, nonprefetchable, 64). 148bar(addr(12, 12, 0), 0, 2957049856, 4194304, mem, nonprefetchable, 64). 149bar(addr(12, 13, 0), 0, 2957049856, 8388608, mem, nonprefetchable, 64). 150 151bar(addr(13, 4, 0), 0, 2957049856, 16384, mem, nonprefetchable, 64). 152bar(addr(13, 5, 0), 0, 2957049856, 32768, mem, nonprefetchable, 64). 153bar(addr(13, 6, 0), 0, 2957049856, 65536, mem, nonprefetchable, 64). 154bar(addr(13, 7, 0), 0, 2957049856, 131072, mem, nonprefetchable, 64). 155bar(addr(13, 8, 0), 0, 2957049856, 262144, mem, nonprefetchable, 64). 156bar(addr(13, 9, 0), 0, 2957049856, 524288, mem, nonprefetchable, 64). 157bar(addr(13, 10, 0), 0, 2957049856, 1048576, mem, nonprefetchable, 64). 158bar(addr(13, 11, 0), 0, 2957049856, 2097152, mem, nonprefetchable, 64). 159bar(addr(13, 12, 0), 0, 2957049856, 4194304, mem, nonprefetchable, 64). 160bar(addr(13, 13, 0), 0, 2957049856, 8388608, mem, nonprefetchable, 64). 161 162bar(addr(14, 4, 0), 0, 2957049856, 16384, mem, nonprefetchable, 64). 163bar(addr(14, 5, 0), 0, 2957049856, 32768, mem, nonprefetchable, 64). 164bar(addr(14, 6, 0), 0, 2957049856, 65536, mem, nonprefetchable, 64). 165bar(addr(14, 7, 0), 0, 2957049856, 131072, mem, nonprefetchable, 64). 166bar(addr(14, 8, 0), 0, 2957049856, 262144, mem, nonprefetchable, 64). 167bar(addr(14, 9, 0), 0, 2957049856, 524288, mem, nonprefetchable, 64). 168bar(addr(14, 10, 0), 0, 2957049856, 1048576, mem, nonprefetchable, 64). 169bar(addr(14, 11, 0), 0, 2957049856, 2097152, mem, nonprefetchable, 64). 170bar(addr(14, 12, 0), 0, 2957049856, 4194304, mem, nonprefetchable, 64). 171bar(addr(14, 13, 0), 0, 2957049856, 8388608, mem, nonprefetchable, 64). 172 173bar(addr(15, 4, 0), 0, 2957049856, 16384, mem, nonprefetchable, 64). 174bar(addr(15, 5, 0), 0, 2957049856, 32768, mem, nonprefetchable, 64). 175bar(addr(15, 6, 0), 0, 2957049856, 65536, mem, nonprefetchable, 64). 176bar(addr(15, 7, 0), 0, 2957049856, 131072, mem, nonprefetchable, 64). 177bar(addr(15, 8, 0), 0, 2957049856, 262144, mem, nonprefetchable, 64). 178bar(addr(15, 9, 0), 0, 2957049856, 524288, mem, nonprefetchable, 64). 179bar(addr(15, 10, 0), 0, 2957049856, 1048576, mem, nonprefetchable, 64). 180bar(addr(15, 11, 0), 0, 2957049856, 2097152, mem, nonprefetchable, 64). 181bar(addr(15, 12, 0), 0, 2957049856, 4194304, mem, nonprefetchable, 64). 182bar(addr(15, 13, 0), 0, 2957049856, 8388608, mem, nonprefetchable, 64). 183 184 185 186 187 188 189 190bridge(pcie, addr(0, 1, 0), 4318, 880, 6, 4, 1, secondary(1)). 191bridge(pcie, addr(0, 2, 0), 4318, 880, 6, 4, 1, secondary(8)). 192bridge(pcie, addr(0, 3, 0), 4318, 880, 6, 4, 1, secondary(15)). 193device(pcie, addr(0, 4, 0), 4318, 873, 5, 0, 0, -1). 194device(pcie, addr(0, 5, 0), 4318, 873, 5, 0, 0, -1). 195device(pcie, addr(0, 6, 0), 4318, 873, 5, 0, 0, -1). 196device(pcie, addr(0, 7, 0), 4318, 873, 5, 0, 0, -1). 197device(pcie, addr(0, 8, 0), 4318, 873, 5, 0, 0, -1). 198device(pcie, addr(0, 9, 0), 4318, 873, 5, 0, 0, -1). 199device(pcie, addr(0, 10, 0), 4318, 873, 5, 0, 0, -1). 200device(pcie, addr(0, 11, 0), 4318, 873, 5, 0, 0, -1). 201device(pcie, addr(0, 12, 0), 4318, 873, 5, 0, 0, -1). 202device(pcie, addr(0, 13, 0), 4318, 873, 5, 0, 0, -1). 203bridge(pcie, addr(1, 1, 0), 4318, 880, 6, 4, 1, secondary(2)). 204bridge(pcie, addr(1, 2, 0), 4318, 880, 6, 4, 1, secondary(5)). 205device(pcie, addr(1, 4, 0), 4318, 873, 5, 0, 0, -1). 206device(pcie, addr(1, 5, 0), 4318, 873, 5, 0, 0, -1). 207device(pcie, addr(1, 6, 0), 4318, 873, 5, 0, 0, -1). 208device(pcie, addr(1, 7, 0), 4318, 873, 5, 0, 0, -1). 209device(pcie, addr(1, 8, 0), 4318, 873, 5, 0, 0, -1). 210device(pcie, addr(1, 9, 0), 4318, 873, 5, 0, 0, -1). 211device(pcie, addr(1, 10, 0), 4318, 873, 5, 0, 0, -1). 212device(pcie, addr(1, 11, 0), 4318, 873, 5, 0, 0, -1). 213device(pcie, addr(1, 12, 0), 4318, 873, 5, 0, 0, -1). 214device(pcie, addr(1, 13, 0), 4318, 873, 5, 0, 0, -1). 215bridge(pcie, addr(2, 1, 0), 4318, 880, 6, 4, 1, secondary(3)). 216bridge(pcie, addr(2, 2, 0), 4318, 880, 6, 4, 1, secondary(4)). 217device(pcie, addr(2, 4, 0), 4318, 873, 5, 0, 0, -1). 218device(pcie, addr(2, 5, 0), 4318, 873, 5, 0, 0, -1). 219device(pcie, addr(2, 6, 0), 4318, 873, 5, 0, 0, -1). 220device(pcie, addr(2, 7, 0), 4318, 873, 5, 0, 0, -1). 221device(pcie, addr(2, 8, 0), 4318, 873, 5, 0, 0, -1). 222device(pcie, addr(2, 9, 0), 4318, 873, 5, 0, 0, -1). 223device(pcie, addr(2, 10, 0), 4318, 873, 5, 0, 0, -1). 224device(pcie, addr(2, 11, 0), 4318, 873, 5, 0, 0, -1). 225bridge(pcie, addr(5, 1, 0), 4318, 880, 6, 4, 1, secondary(6)). 226device(pcie, addr(2, 12, 0), 4318, 873, 5, 0, 0, -1). 227device(pcie, addr(2, 13, 0), 4318, 873, 5, 0, 0, -1). 228device(pcie, addr(3, 4, 0), 4318, 873, 5, 0, 0, -1). 229device(pcie, addr(6, 5, 0), 4318, 873, 5, 0, 0, -1). 230device(pcie, addr(6, 6, 0), 4318, 873, 5, 0, 0, -1). 231device(pcie, addr(3, 5, 0), 4318, 873, 5, 0, 0, -1). 232device(pcie, addr(3, 6, 0), 4318, 873, 5, 0, 0, -1). 233device(pcie, addr(3, 7, 0), 4318, 873, 5, 0, 0, -1). 234device(pcie, addr(3, 8, 0), 4318, 873, 5, 0, 0, -1). 235device(pcie, addr(3, 9, 0), 4318, 873, 5, 0, 0, -1). 236device(pcie, addr(3, 10, 0), 4318, 873, 5, 0, 0, -1). 237device(pcie, addr(3, 11, 0), 4318, 873, 5, 0, 0, -1). 238device(pcie, addr(3, 12, 0), 4318, 873, 5, 0, 0, -1). 239device(pcie, addr(3, 13, 0), 4318, 873, 5, 0, 0, -1). 240device(pcie, addr(4, 4, 0), 4318, 873, 5, 0, 0, -1). 241device(pcie, addr(4, 5, 0), 4318, 873, 5, 0, 0, -1). 242device(pcie, addr(4, 6, 0), 4318, 873, 5, 0, 0, -1). 243device(pcie, addr(4, 7, 0), 4318, 873, 5, 0, 0, -1). 244device(pcie, addr(4, 8, 0), 4318, 873, 5, 0, 0, -1). 245device(pcie, addr(4, 9, 0), 4318, 873, 5, 0, 0, -1). 246device(pcie, addr(4, 10, 0), 4318, 873, 5, 0, 0, -1). 247device(pcie, addr(4, 11, 0), 4318, 873, 5, 0, 0, -1). 248device(pcie, addr(4, 12, 0), 4318, 873, 5, 0, 0, -1). 249device(pcie, addr(4, 13, 0), 4318, 873, 5, 0, 0, -1). 250bridge(pcie, addr(5, 2, 0), 4318, 880, 6, 4, 1, secondary(7)). 251device(pcie, addr(5, 4, 0), 4318, 873, 5, 0, 0, -1). 252device(pcie, addr(5, 5, 0), 4318, 873, 5, 0, 0, -1). 253device(pcie, addr(5, 6, 0), 4318, 873, 5, 0, 0, -1). 254device(pcie, addr(5, 7, 0), 4318, 873, 5, 0, 0, -1). 255device(pcie, addr(5, 8, 0), 4318, 873, 5, 0, 0, -1). 256device(pcie, addr(5, 9, 0), 4318, 873, 5, 0, 0, -1). 257device(pcie, addr(5, 10, 0), 4318, 873, 5, 0, 0, -1). 258device(pcie, addr(5, 11, 0), 4318, 873, 5, 0, 0, -1). 259device(pcie, addr(5, 12, 0), 4318, 873, 5, 0, 0, -1). 260device(pcie, addr(5, 13, 0), 4318, 873, 5, 0, 0, -1). 261device(pcie, addr(6, 4, 0), 4318, 873, 5, 0, 0, -1). 262device(pcie, addr(6, 7, 0), 4318, 873, 5, 0, 0, -1). 263device(pcie, addr(6, 8, 0), 4318, 873, 5, 0, 0, -1). 264device(pcie, addr(6, 9, 0), 4318, 873, 5, 0, 0, -1). 265device(pcie, addr(6, 10, 0), 4318, 873, 5, 0, 0, -1). 266device(pcie, addr(6, 11, 0), 4318, 873, 5, 0, 0, -1). 267device(pcie, addr(6, 12, 0), 4318, 873, 5, 0, 0, -1). 268device(pcie, addr(6, 13, 0), 4318, 873, 5, 0, 0, -1). 269device(pcie, addr(7, 4, 0), 4318, 873, 5, 0, 0, -1). 270device(pcie, addr(7, 5, 0), 4318, 873, 5, 0, 0, -1). 271device(pcie, addr(7, 6, 0), 4318, 873, 5, 0, 0, -1). 272device(pcie, addr(7, 7, 0), 4318, 873, 5, 0, 0, -1). 273device(pcie, addr(7, 8, 0), 4318, 873, 5, 0, 0, -1). 274device(pcie, addr(7, 9, 0), 4318, 873, 5, 0, 0, -1). 275device(pcie, addr(7, 10, 0), 4318, 873, 5, 0, 0, -1). 276device(pcie, addr(7, 11, 0), 4318, 873, 5, 0, 0, -1). 277device(pcie, addr(7, 12, 0), 4318, 873, 5, 0, 0, -1). 278device(pcie, addr(7, 13, 0), 4318, 873, 5, 0, 0, -1). 279bridge(pcie, addr(8, 1, 0), 4318, 880, 6, 4, 1, secondary(9)). 280bridge(pcie, addr(8, 2, 0), 4318, 880, 6, 4, 1, secondary(12)). 281device(pcie, addr(8, 4, 0), 4318, 873, 5, 0, 0, -1). 282device(pcie, addr(8, 5, 0), 4318, 873, 5, 0, 0, -1). 283device(pcie, addr(8, 6, 0), 4318, 873, 5, 0, 0, -1). 284device(pcie, addr(8, 7, 0), 4318, 873, 5, 0, 0, -1). 285device(pcie, addr(8, 8, 0), 4318, 873, 5, 0, 0, -1). 286device(pcie, addr(8, 9, 0), 4318, 873, 5, 0, 0, -1). 287device(pcie, addr(8, 10, 0), 4318, 873, 5, 0, 0, -1). 288device(pcie, addr(8, 11, 0), 4318, 873, 5, 0, 0, -1). 289device(pcie, addr(8, 12, 0), 4318, 873, 5, 0, 0, -1). 290device(pcie, addr(8, 13, 0), 4318, 873, 5, 0, 0, -1). 291bridge(pcie, addr(9, 1, 0), 4318, 880, 6, 4, 1, secondary(10)). 292bridge(pcie, addr(9, 1, 0), 4318, 880, 6, 4, 1, secondary(11)). 293device(pcie, addr(9, 4, 0), 4318, 873, 5, 0, 0, -1). 294device(pcie, addr(9, 5, 0), 4318, 873, 5, 0, 0, -1). 295device(pcie, addr(9, 6, 0), 4318, 873, 5, 0, 0, -1). 296device(pcie, addr(9, 7, 0), 4318, 873, 5, 0, 0, -1). 297device(pcie, addr(9, 8, 0), 4318, 873, 5, 0, 0, -1). 298device(pcie, addr(9, 9, 0), 4318, 873, 5, 0, 0, -1). 299device(pcie, addr(9, 10, 0), 4318, 873, 5, 0, 0, -1). 300device(pcie, addr(9, 11, 0), 4318, 873, 5, 0, 0, -1). 301device(pcie, addr(9, 12, 0), 4318, 873, 5, 0, 0, -1). 302device(pcie, addr(9, 13, 0), 4318, 873, 5, 0, 0, -1). 303device(pcie, addr(10, 4, 0), 4318, 873, 5, 0, 0, -1). 304device(pcie, addr(10, 5, 0), 4318, 873, 5, 0, 0, -1). 305device(pcie, addr(10, 6, 0), 4318, 873, 5, 0, 0, -1). 306device(pcie, addr(10, 7, 0), 4318, 873, 5, 0, 0, -1). 307device(pcie, addr(10, 8, 0), 4318, 873, 5, 0, 0, -1). 308device(pcie, addr(10, 9, 0), 4318, 873, 5, 0, 0, -1). 309device(pcie, addr(10, 10, 0), 4318, 873, 5, 0, 0, -1). 310device(pcie, addr(10, 11, 0), 4318, 873, 5, 0, 0, -1). 311device(pcie, addr(10, 12, 0), 4318, 873, 5, 0, 0, -1). 312device(pcie, addr(10, 13, 0), 4318, 873, 5, 0, 0, -1). 313device(pcie, addr(11, 4, 0), 4318, 873, 5, 0, 0, -1). 314device(pcie, addr(11, 5, 0), 4318, 873, 5, 0, 0, -1). 315device(pcie, addr(11, 6, 0), 4318, 873, 5, 0, 0, -1). 316device(pcie, addr(11, 7, 0), 4318, 873, 5, 0, 0, -1). 317device(pcie, addr(11, 8, 0), 4318, 873, 5, 0, 0, -1). 318device(pcie, addr(11, 9, 0), 4318, 873, 5, 0, 0, -1). 319device(pcie, addr(11, 10, 0), 4318, 873, 5, 0, 0, -1). 320device(pcie, addr(11, 11, 0), 4318, 873, 5, 0, 0, -1). 321device(pcie, addr(11, 12, 0), 4318, 873, 5, 0, 0, -1). 322device(pcie, addr(11, 13, 0), 4318, 873, 5, 0, 0, -1). 323bridge(pcie, addr(12, 1, 0), 4318, 880, 6, 4, 1, secondary(13)). 324bridge(pcie, addr(12, 1, 0), 4318, 880, 6, 4, 1, secondary(14)). 325device(pcie, addr(12, 4, 0), 4318, 873, 5, 0, 0, -1). 326device(pcie, addr(12, 5, 0), 4318, 873, 5, 0, 0, -1). 327device(pcie, addr(12, 6, 0), 4318, 873, 5, 0, 0, -1). 328device(pcie, addr(12, 7, 0), 4318, 873, 5, 0, 0, -1). 329device(pcie, addr(12, 8, 0), 4318, 873, 5, 0, 0, -1). 330device(pcie, addr(12, 9, 0), 4318, 873, 5, 0, 0, -1). 331device(pcie, addr(12, 10, 0), 4318, 873, 5, 0, 0, -1). 332device(pcie, addr(12, 11, 0), 4318, 873, 5, 0, 0, -1). 333device(pcie, addr(12, 12, 0), 4318, 873, 5, 0, 0, -1). 334device(pcie, addr(12, 13, 0), 4318, 873, 5, 0, 0, -1). 335device(pcie, addr(13, 4, 0), 4318, 873, 5, 0, 0, -1). 336device(pcie, addr(13, 5, 0), 4318, 873, 5, 0, 0, -1). 337device(pcie, addr(13, 6, 0), 4318, 873, 5, 0, 0, -1). 338device(pcie, addr(13, 7, 0), 4318, 873, 5, 0, 0, -1). 339device(pcie, addr(13, 8, 0), 4318, 873, 5, 0, 0, -1). 340device(pcie, addr(13, 9, 0), 4318, 873, 5, 0, 0, -1). 341device(pcie, addr(13, 10, 0), 4318, 873, 5, 0, 0, -1). 342device(pcie, addr(13, 11, 0), 4318, 873, 5, 0, 0, -1). 343device(pcie, addr(13, 12, 0), 4318, 873, 5, 0, 0, -1). 344device(pcie, addr(13, 13, 0), 4318, 873, 5, 0, 0, -1). 345device(pcie, addr(14, 4, 0), 4318, 873, 5, 0, 0, -1). 346device(pcie, addr(14, 5, 0), 4318, 873, 5, 0, 0, -1). 347device(pcie, addr(14, 6, 0), 4318, 873, 5, 0, 0, -1). 348device(pcie, addr(14, 7, 0), 4318, 873, 5, 0, 0, -1). 349device(pcie, addr(14, 8, 0), 4318, 873, 5, 0, 0, -1). 350device(pcie, addr(14, 9, 0), 4318, 873, 5, 0, 0, -1). 351device(pcie, addr(14, 10, 0), 4318, 873, 5, 0, 0, -1). 352device(pcie, addr(14, 11, 0), 4318, 873, 5, 0, 0, -1). 353device(pcie, addr(14, 12, 0), 4318, 873, 5, 0, 0, -1). 354device(pcie, addr(14, 13, 0), 4318, 873, 5, 0, 0, -1). 355device(pcie, addr(15, 4, 0), 4318, 873, 5, 0, 0, -1). 356device(pcie, addr(15, 5, 0), 4318, 873, 5, 0, 0, -1). 357device(pcie, addr(15, 6, 0), 4318, 873, 5, 0, 0, -1). 358device(pcie, addr(15, 7, 0), 4318, 873, 5, 0, 0, -1). 359device(pcie, addr(15, 8, 0), 4318, 873, 5, 0, 0, -1). 360device(pcie, addr(15, 9, 0), 4318, 873, 5, 0, 0, -1). 361device(pcie, addr(15, 10, 0), 4318, 873, 5, 0, 0, -1). 362device(pcie, addr(15, 11, 0), 4318, 873, 5, 0, 0, -1). 363device(pcie, addr(15, 12, 0), 4318, 873, 5, 0, 0, -1). 364device(pcie, addr(15, 13, 0), 4318, 873, 5, 0, 0, -1). 365 366 367 368 369