configs/novabox.c

   1 /*
   2  * Jailhouse, a Linux-based partitioning hypervisor
   3  *
   4  * Copyright (c) Siemens AG, 2014, 2015
   5  *
   6  * This work is licensed under the terms of the GNU GPL, version 2.  See
   7  * the COPYING file in the top-level directory.
   8  *
   9  * Alternatively, you can use or redistribute this file under the following
  10  * BSD license:
  11  *
  12  * Redistribution and use in source and binary forms, with or without
  13  * modification, are permitted provided that the following conditions
  14  * are met:
  15  *
  16  * 1. Redistributions of source code must retain the above copyright
  17  *    notice, this list of conditions and the following disclaimer.
  18  *
  19  * 2. Redistributions in binary form must reproduce the above copyright
  20  *    notice, this list of conditions and the following disclaimer in the
  21  *    documentation and/or other materials provided with the distribution.
  22  *
  23  * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS"
  24  * AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
  25  * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
  26  * ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT HOLDER OR CONTRIBUTORS BE
  27  * LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
  28  * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
  29  * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
  30  * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
  31  * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
  32  * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF
  33  * THE POSSIBILITY OF SUCH DAMAGE.
  34  *
  35  * Configuration for Dell Inc. OptiPlex 7010
  36  * created with '/usr/local/libexec/jailhouse/jailhouse config create -r . novabox-pc.c'
  37  *
  38  * NOTE: This config expects the following to be appended to your kernel cmdline
  39  *       "memmap=0x4200000$0x3b000000"
  40  */
  41
  42 #include <linux/types.h>
  43 #include <jailhouse/cell-config.h>
  44
  45 #define ARRAY_SIZE(a) (sizeof(a) / sizeof((a)[0]))
  46
  47 struct {
  48         struct jailhouse_system header;
  49         __u64 cpus[1];
  50         struct jailhouse_memory mem_regions[41];
  51         struct jailhouse_irqchip irqchips[1];
  52         __u8 pio_bitmap[0x2000];
  53         struct jailhouse_pci_device pci_devices[12];
  54         struct jailhouse_pci_capability pci_caps[22];
  55 } __attribute__((packed)) config = {
  56         .header = {
  57                 .signature = JAILHOUSE_SYSTEM_SIGNATURE,
  58                 .hypervisor_memory = {
  59                         .phys_start = 0x3b000000,
  60                         .size = 0x4000000,
  61                 },
  62                 .platform_info.x86 = {
  63                         .mmconfig_base = 0xf8000000,
  64                         .mmconfig_end_bus = 0x3f,
  65                         .pm_timer_address = 0x408,
  66                         .iommu_base = {
  67                                 0xfed90000,
  68                                 0xfed91000,
  69                         },
  70                 },
  71                 .device_limit = 128,
  72                 .interrupt_limit = 256,
  73                 .root_cell = {
  74                         .name = "RootCell",
  75                         .cpu_set_size = sizeof(config.cpus),
  76                         .num_memory_regions = ARRAY_SIZE(config.mem_regions),
  77                         .num_irqchips = ARRAY_SIZE(config.irqchips),
  78                         .pio_bitmap_size = ARRAY_SIZE(config.pio_bitmap),
  79                         .num_pci_devices = ARRAY_SIZE(config.pci_devices),
  80                         .num_pci_caps = ARRAY_SIZE(config.pci_caps),
  81                 },
  82         },
  83
  84         .cpus = {
  85                 0x000000000000000f,
  86         },
  87
  88         .mem_regions = {
  89                 /* MemRegion: 00000000-0009d7ff : System RAM */
  90                 {
  91                         .phys_start = 0x0,
  92                         .virt_start = 0x0,
  93                         .size = 0x9e000,
  94                         .flags = JAILHOUSE_MEM_READ | JAILHOUSE_MEM_WRITE |
  95                                 JAILHOUSE_MEM_EXECUTE | JAILHOUSE_MEM_DMA,
  96                 },
  97                 /* MemRegion: 000a0000-000bffff : PCI Bus 0000:00 */
  98                 {
  99                         .phys_start = 0xa0000,
 100                         .virt_start = 0xa0000,
 101                         .size = 0x20000,
 102                         .flags = JAILHOUSE_MEM_READ | JAILHOUSE_MEM_WRITE,
 103                 },
 104                 /* MemRegion: 00100000-00ffffff : System RAM */
 105                 {
 106                         .phys_start = 0x100000,
 107                         .virt_start = 0x100000,
 108                         .size = 0xf00000,
 109                         .flags = JAILHOUSE_MEM_READ | JAILHOUSE_MEM_WRITE |
 110                                 JAILHOUSE_MEM_EXECUTE | JAILHOUSE_MEM_DMA,
 111                 },
 112                 /* MemRegion: 01000000-02ffffff : Kernel */
 113                 {
 114                         .phys_start = 0x1000000,
 115                         .virt_start = 0x1000000,
 116                         .size = 0x2000000,
 117                         .flags = JAILHOUSE_MEM_READ | JAILHOUSE_MEM_WRITE |
 118                                 JAILHOUSE_MEM_EXECUTE | JAILHOUSE_MEM_DMA,
 119                 },
 120                 /* MemRegion: 03000000-1fffffff : System RAM */
 121                 {
 122                         .phys_start = 0x3000000,
 123                         .virt_start = 0x3000000,
 124                         .size = 0x1d000000,
 125                         .flags = JAILHOUSE_MEM_READ | JAILHOUSE_MEM_WRITE |
 126                                 JAILHOUSE_MEM_EXECUTE | JAILHOUSE_MEM_DMA,
 127                 },
 128                 /* MemRegion: 20200000-3affffff : System RAM */
 129                 {
 130                         .phys_start = 0x20200000,
 131                         .virt_start = 0x20200000,
 132                         .size = 0x1ae00000,
 133                         .flags = JAILHOUSE_MEM_READ | JAILHOUSE_MEM_WRITE |
 134                                 JAILHOUSE_MEM_EXECUTE | JAILHOUSE_MEM_DMA,
 135                 },
 136                 /* MemRegion: 3f200000-40003fff : System RAM */
 137                 {
 138                         .phys_start = 0x3f200000,
 139                         .virt_start = 0x3f200000,
 140                         .size = 0xe04000,
 141                         .flags = JAILHOUSE_MEM_READ | JAILHOUSE_MEM_WRITE |
 142                                 JAILHOUSE_MEM_EXECUTE | JAILHOUSE_MEM_DMA,
 143                 },
 144                 /* MemRegion: 40005000-d9b4dfff : System RAM */
 145                 {
 146                         .phys_start = 0x40005000,
 147                         .virt_start = 0x40005000,
 148                         .size = 0x99b49000,
 149                         .flags = JAILHOUSE_MEM_READ | JAILHOUSE_MEM_WRITE |
 150                                 JAILHOUSE_MEM_EXECUTE | JAILHOUSE_MEM_DMA,
 151                 },
 152                 /* MemRegion: da174000-da3dbfff : ACPI Non-volatile Storage */
 153                 {
 154                         .phys_start = 0xda174000,
 155                         .virt_start = 0xda174000,
 156                         .size = 0x268000,
 157                         .flags = JAILHOUSE_MEM_READ | JAILHOUSE_MEM_WRITE,
 158                 },
 159                 /* MemRegion: da3dc000-da3e6fff : ACPI Tables */
 160                 {
 161                         .phys_start = 0xda3dc000,
 162                         .virt_start = 0xda3dc000,
 163                         .size = 0xb000,
 164                         .flags = JAILHOUSE_MEM_READ | JAILHOUSE_MEM_WRITE,
 165                 },
 166                 /* MemRegion: da3e7000-da3f3fff : ACPI Non-volatile Storage */
 167                 {
 168                         .phys_start = 0xda3e7000,
 169                         .virt_start = 0xda3e7000,
 170                         .size = 0xd000,
 171                         .flags = JAILHOUSE_MEM_READ | JAILHOUSE_MEM_WRITE,
 172                 },
 173                 /* MemRegion: da3f4000-da3f8fff : ACPI Tables */
 174                 {
 175                         .phys_start = 0xda3f4000,
 176                         .virt_start = 0xda3f4000,
 177                         .size = 0x5000,
 178                         .flags = JAILHOUSE_MEM_READ | JAILHOUSE_MEM_WRITE,
 179                 },
 180                 /* MemRegion: da3f9000-da43bfff : ACPI Non-volatile Storage */
 181                 {
 182                         .phys_start = 0xda3f9000,
 183                         .virt_start = 0xda3f9000,
 184                         .size = 0x43000,
 185                         .flags = JAILHOUSE_MEM_READ | JAILHOUSE_MEM_WRITE,
 186                 },
 187                 /* MemRegion: da43c000-daffffff : System RAM */
 188                 {
 189                         .phys_start = 0xda43c000,
 190                         .virt_start = 0xda43c000,
 191                         .size = 0xbc4000,
 192                         .flags = JAILHOUSE_MEM_READ | JAILHOUSE_MEM_WRITE |
 193                                 JAILHOUSE_MEM_EXECUTE | JAILHOUSE_MEM_DMA,
 194                 },
 195                 /* MemRegion: db000000-db7fffff : RAM buffer */
 196                 {
 197                         .phys_start = 0xdb000000,
 198                         .virt_start = 0xdb000000,
 199                         .size = 0x800000,
 200                         .flags = JAILHOUSE_MEM_READ | JAILHOUSE_MEM_WRITE |
 201                                 JAILHOUSE_MEM_EXECUTE | JAILHOUSE_MEM_DMA,
 202                 },
 203                 /* MemRegion: dfa00000-dfa00fff : pnp 00:08 */
 204                 {
 205                         .phys_start = 0xdfa00000,
 206                         .virt_start = 0xdfa00000,
 207                         .size = 0x1000,
 208                         .flags = JAILHOUSE_MEM_READ | JAILHOUSE_MEM_WRITE,
 209                 },
 210                 /* MemRegion: e0000000-efffffff : 0000:00:02.0 */
 211                 {
 212                         .phys_start = 0xe0000000,
 213                         .virt_start = 0xe0000000,
 214                         .size = 0x10000000,
 215                         .flags = JAILHOUSE_MEM_READ | JAILHOUSE_MEM_WRITE,
 216                 },
 217                 /* MemRegion: f7800000-f7bfffff : 0000:00:02.0 */
 218                 {
 219                         .phys_start = 0xf7800000,
 220                         .virt_start = 0xf7800000,
 221                         .size = 0x400000,
 222                         .flags = JAILHOUSE_MEM_READ | JAILHOUSE_MEM_WRITE,
 223                 },
 224                 /* MemRegion: f7c00000-f7c1ffff : 0000:00:19.0 */
 225                 {
 226                         .phys_start = 0xf7c00000,
 227                         .virt_start = 0xf7c00000,
 228                         .size = 0x20000,
 229                         .flags = JAILHOUSE_MEM_READ | JAILHOUSE_MEM_WRITE,
 230                 },
 231                 /* MemRegion: f7c20000-f7c2ffff : 0000:00:14.0 */
 232                 {
 233                         .phys_start = 0xf7c20000,
 234                         .virt_start = 0xf7c20000,
 235                         .size = 0x10000,
 236                         .flags = JAILHOUSE_MEM_READ | JAILHOUSE_MEM_WRITE,
 237                 },
 238                 /* MemRegion: f7c30000-f7c33fff : 0000:00:1b.0 */
 239                 {
 240                         .phys_start = 0xf7c30000,
 241                         .virt_start = 0xf7c30000,
 242                         .size = 0x4000,
 243                         .flags = JAILHOUSE_MEM_READ | JAILHOUSE_MEM_WRITE,
 244                 },
 245                 /* MemRegion: f7c35000-f7c350ff : 0000:00:1f.3 */
 246                 {
 247                         .phys_start = 0xf7c35000,
 248                         .virt_start = 0xf7c35000,
 249                         .size = 0x1000,
 250                         .flags = JAILHOUSE_MEM_READ | JAILHOUSE_MEM_WRITE,
 251                 },
 252                 /* MemRegion: f7c36000-f7c367ff : ahci */
 253                 {
 254                         .phys_start = 0xf7c36000,
 255                         .virt_start = 0xf7c36000,
 256                         .size = 0x1000,
 257                         .flags = JAILHOUSE_MEM_READ | JAILHOUSE_MEM_WRITE,
 258                 },
 259                 /* MemRegion: f7c37000-f7c373ff : ehci_hcd */
 260                 {
 261                         .phys_start = 0xf7c37000,
 262                         .virt_start = 0xf7c37000,
 263                         .size = 0x1000,
 264                         .flags = JAILHOUSE_MEM_READ | JAILHOUSE_MEM_WRITE,
 265                 },
 266                 /* MemRegion: f7c38000-f7c383ff : ehci_hcd */
 267                 {
 268                         .phys_start = 0xf7c38000,
 269                         .virt_start = 0xf7c38000,
 270                         .size = 0x1000,
 271                         .flags = JAILHOUSE_MEM_READ | JAILHOUSE_MEM_WRITE,
 272                 },
 273                 /* MemRegion: f7c39000-f7c39fff : 0000:00:19.0 */
 274                 {
 275                         .phys_start = 0xf7c39000,
 276                         .virt_start = 0xf7c39000,
 277                         .size = 0x1000,
 278                         .flags = JAILHOUSE_MEM_READ | JAILHOUSE_MEM_WRITE,
 279                 },
 280                 /* MemRegion: f7c3c000-f7c3c00f : 0000:00:16.0 */
 281                 {
 282                         .phys_start = 0xf7c3c000,
 283                         .virt_start = 0xf7c3c000,
 284                         .size = 0x1000,
 285                         .flags = JAILHOUSE_MEM_READ | JAILHOUSE_MEM_WRITE,
 286                 },
 287                 /* MemRegion: fed00000-fed003ff : HPET 0 */
 288                 {
 289                         .phys_start = 0xfed00000,
 290                         .virt_start = 0xfed00000,
 291                         .size = 0x1000,
 292                         .flags = JAILHOUSE_MEM_READ | JAILHOUSE_MEM_WRITE,
 293                 },
 294                 /* MemRegion: fed10000-fed17fff : pnp 00:08 */
 295                 {
 296                         .phys_start = 0xfed10000,
 297                         .virt_start = 0xfed10000,
 298                         .size = 0x8000,
 299                         .flags = JAILHOUSE_MEM_READ | JAILHOUSE_MEM_WRITE,
 300                 },
 301                 /* MemRegion: fed18000-fed18fff : pnp 00:08 */
 302                 {
 303                         .phys_start = 0xfed18000,
 304                         .virt_start = 0xfed18000,
 305                         .size = 0x1000,
 306                         .flags = JAILHOUSE_MEM_READ | JAILHOUSE_MEM_WRITE,
 307                 },
 308                 /* MemRegion: fed19000-fed19fff : pnp 00:08 */
 309                 {
 310                         .phys_start = 0xfed19000,
 311                         .virt_start = 0xfed19000,
 312                         .size = 0x1000,
 313                         .flags = JAILHOUSE_MEM_READ | JAILHOUSE_MEM_WRITE,
 314                 },
 315                 /* MemRegion: fed20000-fed3ffff : pnp 00:08 */
 316                 {
 317                         .phys_start = 0xfed20000,
 318                         .virt_start = 0xfed20000,
 319                         .size = 0x20000,
 320                         .flags = JAILHOUSE_MEM_READ | JAILHOUSE_MEM_WRITE,
 321                 },
 322                 /* MemRegion: fed40000-fed44fff : pnp 00:00 */
 323                 {
 324                         .phys_start = 0xfed40000,
 325                         .virt_start = 0xfed40000,
 326                         .size = 0x5000,
 327                         .flags = JAILHOUSE_MEM_READ | JAILHOUSE_MEM_WRITE,
 328                 },
 329                 /* MemRegion: fed45000-fed8ffff : pnp 00:08 */
 330                 {
 331                         .phys_start = 0xfed45000,
 332                         .virt_start = 0xfed45000,
 333                         .size = 0x4b000,
 334                         .flags = JAILHOUSE_MEM_READ | JAILHOUSE_MEM_WRITE,
 335                 },
 336                 /* MemRegion: fed90000-fed93fff : pnp 00:08 */
 337                 {
 338                         .phys_start = 0xfed90000,
 339                         .virt_start = 0xfed90000,
 340                         .size = 0x4000,
 341                         .flags = JAILHOUSE_MEM_READ | JAILHOUSE_MEM_WRITE,
 342                 },
 343                 /* MemRegion: 100000000-11e5fffff : System RAM */
 344                 {
 345                         .phys_start = 0x100000000,
 346                         .virt_start = 0x100000000,
 347                         .size = 0x1e600000,
 348                         .flags = JAILHOUSE_MEM_READ | JAILHOUSE_MEM_WRITE |
 349                                 JAILHOUSE_MEM_EXECUTE | JAILHOUSE_MEM_DMA,
 350                 },
 351                 /* MemRegion: 11e600000-11fffffff : RAM buffer */
 352                 {
 353                         .phys_start = 0x11e600000,
 354                         .virt_start = 0x11e600000,
 355                         .size = 0x1a00000,
 356                         .flags = JAILHOUSE_MEM_READ | JAILHOUSE_MEM_WRITE |
 357                                 JAILHOUSE_MEM_EXECUTE | JAILHOUSE_MEM_DMA,
 358                 },
 359                 /* MemRegion: 000c0000-000dffff : ROMs */
 360                 {
 361                         .phys_start = 0xc0000,
 362                         .virt_start = 0xc0000,
 363                         .size = 0x20000,
 364                         .flags = JAILHOUSE_MEM_READ | JAILHOUSE_MEM_WRITE,
 365                 },
 366                 /* MemRegion: da0ed000-da112fff : ACPI DMAR RMRR */
 367                 /* PCI device: 00:1d.0 */
 368                 /* PCI device: 00:1a.0 */
 369                 /* PCI device: 00:14.0 */
 370                 {
 371                         .phys_start = 0xda0ed000,
 372                         .virt_start = 0xda0ed000,
 373                         .size = 0x26000,
 374                         .flags = JAILHOUSE_MEM_READ | JAILHOUSE_MEM_WRITE |
 375                                 JAILHOUSE_MEM_EXECUTE | JAILHOUSE_MEM_DMA,
 376                 },
 377                 /* MemRegion: db800000-df9fffff : ACPI DMAR RMRR */
 378                 /* PCI device: 00:02.0 */
 379                 {
 380                         .phys_start = 0xdb800000,
 381                         .virt_start = 0xdb800000,
 382                         .size = 0x4200000,
 383                         .flags = JAILHOUSE_MEM_READ | JAILHOUSE_MEM_WRITE |
 384                                 JAILHOUSE_MEM_EXECUTE | JAILHOUSE_MEM_DMA,
 385                 },
 386                 /* MemRegion: 3f000000-3f1fffff : JAILHOUSE Inmate Memory */
 387                 {
 388                         .phys_start = 0x3f000000,
 389                         .virt_start = 0x3f000000,
 390                         .size = 0x200000,
 391                         .flags = JAILHOUSE_MEM_READ | JAILHOUSE_MEM_WRITE,
 392                 },
 393         },
 394
 395         .irqchips = {
 396                 /* IOAPIC 2, GSI base 0 */
 397                 {
 398                         .address = 0xfec00000,
 399                         .id = 0x1f0f8,
 400                         .pin_bitmap = 0xffffff,
 401                 },
 402         },
 403
 404         .pio_bitmap = {
 405                 [     0/8 ...   0x3f/8] = -1,
 406                 [  0x40/8 ...   0x47/8] = 0xf0, /* PIT */
 407                 [  0x48/8 ...   0x5f/8] = -1,
 408                 [  0x60/8 ...   0x67/8] = 0xec, /* HACK: NMI status/control */
 409                 [  0x68/8 ...   0x6f/8] = -1,
 410                 [  0x70/8 ...   0x77/8] = 0xfc, /* RTC */
 411                 [  0x78/8 ...   0x7f/7] = -1,
 412                 [  0x80/8 ...   0x87/8] = 0xfe, /* Linux: native_io_delay() */
 413                 [  0x88/8 ...   0xec/8] = -1,
 414                 [  0xed/8 ...   0xf5/8] = 0xfe, /*port 0xed delay experimental*/
 415                 [  0xf6/8 ...  0x2f7/8] = -1,
 416                 [ 0x2f8/8 ...  0x2ff/8] = 0,/*serial 1*/
 417                 [ 0x300/8 ...  0x3af/8] = -1,
 418                 [ 0x3b0/8 ...  0x3df/8] = 0x00, /* VGA */
 419                 [ 0x3e0/8 ...  0x3f7/8] = -1,
 420                 [ 0x3f8/8 ...  0x3ff/8] = 0,/*serial 0*/
 421                 [ 0x400/8 ...  0xeff/8] = -1,
 422                 [ 0xd00/8 ... 0xffff/8] = 0, /* HACK: PCI bus */
 423         },
 424
 425         .pci_devices = {
 426                 /* PCIDevice: 00:00.0 */
 427                 {
 428                         .type = JAILHOUSE_PCI_TYPE_DEVICE,
 429                         .iommu = 1,
 430                         .domain = 0x0,
 431                         .bdf = 0x0,
 432                         .bar_mask = {
 433                                 0x00000000, 0x00000000, 0x00000000,
 434                                 0x00000000, 0x00000000, 0x00000000,
 435                         },
 436                         .caps_start = 0,
 437                         .num_caps = 1,
 438                         .num_msi_vectors = 0,
 439                         .msi_64bits = 0,
 440                         .num_msix_vectors = 0,
 441                         .msix_region_size = 0x0,
 442                         .msix_address = 0x0,
 443                 },
 444                 /* PCIDevice: 00:02.0 */
 445                 {
 446                         .type = JAILHOUSE_PCI_TYPE_DEVICE,
 447                         .iommu = 0,
 448                         .domain = 0x0,
 449                         .bdf = 0x10,
 450                         .bar_mask = {
 451                                 0xffc00000, 0xffffffff, 0x00000000,
 452                                 0xf0000000, 0xffffffff, 0x00000000,
 453                         },
 454                         .caps_start = 1,
 455                         .num_caps = 3,
 456                         .num_msi_vectors = 1,
 457                         .msi_64bits = 0,
 458                         .num_msix_vectors = 0,
 459                         .msix_region_size = 0x0,
 460                         .msix_address = 0x0,
 461                 },
 462                 /* PCIDevice: 00:14.0 */
 463                 {
 464                         .type = JAILHOUSE_PCI_TYPE_DEVICE,
 465                         .iommu = 1,
 466                         .domain = 0x0,
 467                         .bdf = 0xa0,
 468                         .bar_mask = {
 469                                 0xffff0000, 0xffffffff, 0x00000000,
 470                                 0x00000000, 0x00000000, 0x00000000,
 471                         },
 472                         .caps_start = 4,
 473                         .num_caps = 2,
 474                         .num_msi_vectors = 8,
 475                         .msi_64bits = 1,
 476                         .num_msix_vectors = 0,
 477                         .msix_region_size = 0x0,
 478                         .msix_address = 0x0,
 479                 },
 480                 /* PCIDevice: 00:16.0 */
 481                 {
 482                         .type = JAILHOUSE_PCI_TYPE_DEVICE,
 483                         .iommu = 1,
 484                         .domain = 0x0,
 485                         .bdf = 0xb0,
 486                         .bar_mask = {
 487                                 0xfffffff0, 0xffffffff, 0x00000000,
 488                                 0x00000000, 0x00000000, 0x00000000,
 489                         },
 490                         .caps_start = 6,
 491                         .num_caps = 2,
 492                         .num_msi_vectors = 1,
 493                         .msi_64bits = 1,
 494                         .num_msix_vectors = 0,
 495                         .msix_region_size = 0x0,
 496                         .msix_address = 0x0,
 497                 },
 498                 /* PCIDevice: 00:19.0 */
 499                 {
 500                         .type = JAILHOUSE_PCI_TYPE_DEVICE,
 501                         .iommu = 1,
 502                         .domain = 0x0,
 503                         .bdf = 0xc8,
 504                         .bar_mask = {
 505                                 0xfffe0000, 0xfffff000, 0xffffffe0,
 506                                 0x00000000, 0x00000000, 0x00000000,
 507                         },
 508                         .caps_start = 8,
 509                         .num_caps = 3,
 510                         .num_msi_vectors = 1,
 511                         .msi_64bits = 1,
 512                         .num_msix_vectors = 0,
 513                         .msix_region_size = 0x0,
 514                         .msix_address = 0x0,
 515                 },
 516                 /* PCIDevice: 00:1a.0 */
 517                 {
 518                         .type = JAILHOUSE_PCI_TYPE_DEVICE,
 519                         .iommu = 1,
 520                         .domain = 0x0,
 521                         .bdf = 0xd0,
 522                         .bar_mask = {
 523                                 0xfffffc00, 0x00000000, 0x00000000,
 524                                 0x00000000, 0x00000000, 0x00000000,
 525                         },
 526                         .caps_start = 11,
 527                         .num_caps = 3,
 528                         .num_msi_vectors = 0,
 529                         .msi_64bits = 0,
 530                         .num_msix_vectors = 0,
 531                         .msix_region_size = 0x0,
 532                         .msix_address = 0x0,
 533                 },
 534                 /* PCIDevice: 00:1b.0 */
 535                 {
 536                         .type = JAILHOUSE_PCI_TYPE_DEVICE,
 537                         .iommu = 1,
 538                         .domain = 0x0,
 539                         .bdf = 0xd8,
 540                         .bar_mask = {
 541                                 0xffffc000, 0xffffffff, 0x00000000,
 542                                 0x00000000, 0x00000000, 0x00000000,
 543                         },
 544                         .caps_start = 14,
 545                         .num_caps = 3,
 546                         .num_msi_vectors = 1,
 547                         .msi_64bits = 1,
 548                         .num_msix_vectors = 0,
 549                         .msix_region_size = 0x0,
 550                         .msix_address = 0x0,
 551                 },
 552                 /* PCIDevice: 00:1d.0 */
 553                 {
 554                         .type = JAILHOUSE_PCI_TYPE_DEVICE,
 555                         .iommu = 1,
 556                         .domain = 0x0,
 557                         .bdf = 0xe8,
 558                         .bar_mask = {
 559                                 0xfffffc00, 0x00000000, 0x00000000,
 560                                 0x00000000, 0x00000000, 0x00000000,
 561                         },
 562                         .caps_start = 11,
 563                         .num_caps = 3,
 564                         .num_msi_vectors = 0,
 565                         .msi_64bits = 0,
 566                         .num_msix_vectors = 0,
 567                         .msix_region_size = 0x0,
 568                         .msix_address = 0x0,
 569                 },
 570                 /* PCIDevice: 00:1e.0 */
 571                 {
 572                         .type = JAILHOUSE_PCI_TYPE_BRIDGE,
 573                         .iommu = 1,
 574                         .domain = 0x0,
 575                         .bdf = 0xf0,
 576                         .bar_mask = {
 577                                 0x00000000, 0x00000000, 0x00000000,
 578                                 0x00000000, 0x00000000, 0x00000000,
 579                         },
 580                         .caps_start = 17,
 581                         .num_caps = 1,
 582                         .num_msi_vectors = 0,
 583                         .msi_64bits = 0,
 584                         .num_msix_vectors = 0,
 585                         .msix_region_size = 0x0,
 586                         .msix_address = 0x0,
 587                 },
 588                 /* PCIDevice: 00:1f.0 */
 589                 {
 590                         .type = JAILHOUSE_PCI_TYPE_DEVICE,
 591                         .iommu = 1,
 592                         .domain = 0x0,
 593                         .bdf = 0xf8,
 594                         .bar_mask = {
 595                                 0x00000000, 0x00000000, 0x00000000,
 596                                 0x00000000, 0x00000000, 0x00000000,
 597                         },
 598                         .caps_start = 0,
 599                         .num_caps = 1,
 600                         .num_msi_vectors = 0,
 601                         .msi_64bits = 0,
 602                         .num_msix_vectors = 0,
 603                         .msix_region_size = 0x0,
 604                         .msix_address = 0x0,
 605                 },
 606                 /* PCIDevice: 00:1f.2 */
 607                 {
 608                         .type = JAILHOUSE_PCI_TYPE_DEVICE,
 609                         .iommu = 1,
 610                         .domain = 0x0,
 611                         .bdf = 0xfa,
 612                         .bar_mask = {
 613                                 0xfffffff8, 0xfffffffc, 0xfffffff8,
 614                                 0xfffffffc, 0xffffffe0, 0xfffff800,
 615                         },
 616                         .caps_start = 18,
 617                         .num_caps = 4,
 618                         .num_msi_vectors = 1,
 619                         .msi_64bits = 0,
 620                         .num_msix_vectors = 0,
 621                         .msix_region_size = 0x0,
 622                         .msix_address = 0x0,
 623                 },
 624                 /* PCIDevice: 00:1f.3 */
 625                 {
 626                         .type = JAILHOUSE_PCI_TYPE_DEVICE,
 627                         .iommu = 1,
 628                         .domain = 0x0,
 629                         .bdf = 0xfb,
 630                         .bar_mask = {
 631                                 0xffffff00, 0xffffffff, 0x00000000,
 632                                 0x00000000, 0x00000000, 0xffffffe0,
 633                         },
 634                         .caps_start = 0,
 635                         .num_caps = 0,
 636                         .num_msi_vectors = 0,
 637                         .msi_64bits = 0,
 638                         .num_msix_vectors = 0,
 639                         .msix_region_size = 0x0,
 640                         .msix_address = 0x0,
 641                 },
 642         },
 643
 644         .pci_caps = {
 645                 /* PCIDevice: 00:00.0 */
 646                 /* PCIDevice: 00:1f.0 */
 647                 {
 648                         .id = 0x9,
 649                         .start = 0xe0,
 650                         .len = 2,
 651                         .flags = 0,
 652                 },
 653                 /* PCIDevice: 00:02.0 */
 654                 {
 655                         .id = 0x5,
 656                         .start = 0x90,
 657                         .len = 10,
 658                         .flags = JAILHOUSE_PCICAPS_WRITE,
 659                 },
 660                 {
 661                         .id = 0x1,
 662                         .start = 0xd0,
 663                         .len = 8,
 664                         .flags = JAILHOUSE_PCICAPS_WRITE,
 665                 },
 666                 {
 667                         .id = 0x13,
 668                         .start = 0xa4,
 669                         .len = 2,
 670                         .flags = 0,
 671                 },
 672                 /* PCIDevice: 00:14.0 */
 673                 {
 674                         .id = 0x1,
 675                         .start = 0x70,
 676                         .len = 8,
 677                         .flags = JAILHOUSE_PCICAPS_WRITE,
 678                 },
 679                 {
 680                         .id = 0x5,
 681                         .start = 0x80,
 682                         .len = 14,
 683                         .flags = JAILHOUSE_PCICAPS_WRITE,
 684                 },
 685                 /* PCIDevice: 00:16.0 */
 686                 {
 687                         .id = 0x1,
 688                         .start = 0x50,
 689                         .len = 8,
 690                         .flags = JAILHOUSE_PCICAPS_WRITE,
 691                 },
 692                 {
 693                         .id = 0x5,
 694                         .start = 0x8c,
 695                         .len = 14,
 696                         .flags = JAILHOUSE_PCICAPS_WRITE,
 697                 },
 698                 /* PCIDevice: 00:19.0 */
 699                 {
 700                         .id = 0x1,
 701                         .start = 0xc8,
 702                         .len = 8,
 703                         .flags = JAILHOUSE_PCICAPS_WRITE,
 704                 },
 705                 {
 706                         .id = 0x5,
 707                         .start = 0xd0,
 708                         .len = 14,
 709                         .flags = JAILHOUSE_PCICAPS_WRITE,
 710                 },
 711                 {
 712                         .id = 0x13,
 713                         .start = 0xe0,
 714                         .len = 2,
 715                         .flags = 0,
 716                 },
 717                 /* PCIDevice: 00:1a.0 */
 718                 /* PCIDevice: 00:1d.0 */
 719                 {
 720                         .id = 0x1,
 721                         .start = 0x50,
 722                         .len = 8,
 723                         .flags = JAILHOUSE_PCICAPS_WRITE,
 724                 },
 725                 {
 726                         .id = 0xa,
 727                         .start = 0x58,
 728                         .len = 2,
 729                         .flags = 0,
 730                 },
 731                 {
 732                         .id = 0x13,
 733                         .start = 0x98,
 734                         .len = 2,
 735                         .flags = 0,
 736                 },
 737                 /* PCIDevice: 00:1b.0 */
 738                 {
 739                         .id = 0x1,
 740                         .start = 0x50,
 741                         .len = 8,
 742                         .flags = JAILHOUSE_PCICAPS_WRITE,
 743                 },
 744                 {
 745                         .id = 0x5,
 746                         .start = 0x60,
 747                         .len = 14,
 748                         .flags = JAILHOUSE_PCICAPS_WRITE,
 749                 },
 750                 {
 751                         .id = 0x10,
 752                         .start = 0x70,
 753                         .len = 2,
 754                         .flags = 0,
 755                 },
 756                 /* PCIDevice: 00:1e.0 */
 757                 {
 758                         .id = 0xd,
 759                         .start = 0x50,
 760                         .len = 2,
 761                         .flags = 0,
 762                 },
 763                 /* PCIDevice: 00:1f.2 */
 764                 {
 765                         .id = 0x5,
 766                         .start = 0x80,
 767                         .len = 10,
 768                         .flags = JAILHOUSE_PCICAPS_WRITE,
 769                 },
 770                 {
 771                         .id = 0x1,
 772                         .start = 0x70,
 773                         .len = 8,
 774                         .flags = JAILHOUSE_PCICAPS_WRITE,
 775                 },
 776                 {
 777                         .id = 0x12,
 778                         .start = 0xa8,
 779                         .len = 2,
 780                         .flags = 0,
 781                 },
 782                 {
 783                         .id = 0x13,
 784                         .start = 0xb0,
 785                         .len = 2,
 786                         .flags = 0,
 787                 },
 788         },
 789 };