]> rtime.felk.cvut.cz Git - jailhouse.git/blob - configs/f2a88xm-hd3.c
Revert "x86/tools/inmates: Account for 32-bit PM timers"
[jailhouse.git] / configs / f2a88xm-hd3.c
1 /*
2  * Jailhouse, a Linux-based partitioning hypervisor
3  *
4  * Copyright (c) Siemens AG, 2014
5  * Copyright (c) Valentine Sinitsyn, 2014
6  *
7  * This work is licensed under the terms of the GNU GPL, version 2.  See
8  * the COPYING file in the top-level directory.
9  *
10  * Configuration for Gigabyte Technology Co., Ltd. GA-F2A88XM-HD3 Rev. 3.0
11  * board with AMD A10-7800 APU and 1G RAM.
12  *
13  * Created with 'jailhouse config create f2a88xm-hd3.c' and adjusted
14  * by Valentine Sinitsyn <valentine.sinitsyn@gmail.com>.
15  *
16  * NOTE: This config expects the following to be appended to your kernel cmdline
17  *       "memmap=0x4200000$0x3b000000"
18  */
19
20 #include <linux/types.h>
21 #include <jailhouse/cell-config.h>
22
23 #define ARRAY_SIZE(a) sizeof(a) / sizeof(a[0])
24
25 struct {
26         struct jailhouse_system header;
27         __u64 cpus[1];
28         struct jailhouse_memory mem_regions[33];
29         struct jailhouse_irqchip irqchips[1];
30         __u8 pio_bitmap[0x2000];
31         struct jailhouse_pci_device pci_devices[24];
32         struct jailhouse_pci_capability pci_caps[26];
33 } __attribute__((packed)) config = {
34         .header = {
35                 .hypervisor_memory = {
36                         .phys_start = 0x3b000000,
37                         .size = 0x4000000,
38                 },
39                 .platform_info.x86 = {
40                         .mmconfig_base = 0xe0000000,
41                         .mmconfig_end_bus = 0xff,
42                         .pm_timer_address = 0x808,
43                 },
44                 .root_cell = {
45                         .name = "F2A88XM-HD3",
46                         .cpu_set_size = sizeof(config.cpus),
47                         .num_memory_regions = ARRAY_SIZE(config.mem_regions),
48                         .num_irqchips = ARRAY_SIZE(config.irqchips),
49                         .pio_bitmap_size = ARRAY_SIZE(config.pio_bitmap),
50                         .num_pci_devices = ARRAY_SIZE(config.pci_devices),
51                         .num_pci_caps = ARRAY_SIZE(config.pci_caps),
52                 },
53         },
54
55         .cpus = {
56                 0x000000000000000f,
57         },
58
59         .mem_regions = {
60                 /* MemRegion: 00000000-0009e7ff : System RAM */
61                 {
62                         .phys_start = 0x0,
63                         .virt_start = 0x0,
64                         .size = 0x9f000,
65                         .flags = JAILHOUSE_MEM_READ | JAILHOUSE_MEM_WRITE |
66                                 JAILHOUSE_MEM_EXECUTE | JAILHOUSE_MEM_DMA,
67                 },
68                 /* MemRegion: 000a0000-000bffff : PCI Bus 0000:00 */
69                 {
70                         .phys_start = 0xa0000,
71                         .virt_start = 0xa0000,
72                         .size = 0x20000,
73                         .flags = JAILHOUSE_MEM_READ | JAILHOUSE_MEM_WRITE,
74                 },
75                 /* MemRegion: 000c0000-000cf5ff : Video ROM */
76                 {
77                         .phys_start = 0xc0000,
78                         .virt_start = 0xc0000,
79                         .size = 0x10000,
80                         .flags = JAILHOUSE_MEM_READ | JAILHOUSE_MEM_WRITE,
81                 },
82                 /* MemRegion: 000e0000-000fffff : System ROM */
83                 {
84                         .phys_start = 0xe0000,
85                         .virt_start = 0xe0000,
86                         .size = 0x20000,
87                         .flags = JAILHOUSE_MEM_READ,
88                 },
89                 /* MemRegion: 00100000-3affffff : System RAM */
90                 {
91                         .phys_start = 0x100000,
92                         .virt_start = 0x100000,
93                         .size = 0x3af00000,
94                         .flags = JAILHOUSE_MEM_READ | JAILHOUSE_MEM_WRITE |
95                                 JAILHOUSE_MEM_EXECUTE | JAILHOUSE_MEM_DMA,
96                 },
97                 /* MemRegion: 3f200000-6c046fff : System RAM */
98                 {
99                         .phys_start = 0x3f200000,
100                         .virt_start = 0x3f200000,
101                         .size = 0x2ce47000,
102                         .flags = JAILHOUSE_MEM_READ | JAILHOUSE_MEM_WRITE |
103                                 JAILHOUSE_MEM_EXECUTE | JAILHOUSE_MEM_DMA,
104                 },
105                 /* MemRegion: 6c077000-6c339fff : System RAM */
106                 {
107                         .phys_start = 0x6c077000,
108                         .virt_start = 0x6c077000,
109                         .size = 0x2c3000,
110                         .flags = JAILHOUSE_MEM_READ | JAILHOUSE_MEM_WRITE |
111                                 JAILHOUSE_MEM_EXECUTE | JAILHOUSE_MEM_DMA,
112                 },
113                 /* MemRegion: 6c33a000-6c407fff : ACPI Non-volatile Storage */
114                 {
115                         .phys_start = 0x6c33a000,
116                         .virt_start = 0x6c33a000,
117                         .size = 0xce000,
118                         .flags = JAILHOUSE_MEM_READ | JAILHOUSE_MEM_WRITE,
119                 },
120                 /* MemRegion: 6d1c9000-6d1c9fff : System RAM */
121                 {
122                         .phys_start = 0x6d1c9000,
123                         .virt_start = 0x6d1c9000,
124                         .size = 0x1000,
125                         .flags = JAILHOUSE_MEM_READ | JAILHOUSE_MEM_WRITE |
126                                 JAILHOUSE_MEM_EXECUTE | JAILHOUSE_MEM_DMA,
127                 },
128                 /* MemRegion: 6d1ca000-6d3cffff : ACPI Non-volatile Storage */
129                 {
130                         .phys_start = 0x6d1ca000,
131                         .virt_start = 0x6d1ca000,
132                         .size = 0x206000,
133                         .flags = JAILHOUSE_MEM_READ | JAILHOUSE_MEM_WRITE,
134                 },
135                 /* MemRegion: 6d3d0000-6d850fff : System RAM */
136                 {
137                         .phys_start = 0x6d3d0000,
138                         .virt_start = 0x6d3d0000,
139                         .size = 0x481000,
140                         .flags = JAILHOUSE_MEM_READ | JAILHOUSE_MEM_WRITE |
141                                 JAILHOUSE_MEM_EXECUTE | JAILHOUSE_MEM_DMA,
142                 },
143                 /* MemRegion: 6dfe2000-6dffffff : System RAM */
144                 {
145                         .phys_start = 0x6dfe2000,
146                         .virt_start = 0x6dfe2000,
147                         .size = 0x1e000,
148                         .flags = JAILHOUSE_MEM_READ | JAILHOUSE_MEM_WRITE |
149                                 JAILHOUSE_MEM_EXECUTE | JAILHOUSE_MEM_DMA,
150                 },
151                 /* MemRegion: 6e000000-6fffffff : RAM buffer */
152                 {
153                         .phys_start = 0x6e000000,
154                         .virt_start = 0x6e000000,
155                         .size = 0x2000000,
156                         .flags = JAILHOUSE_MEM_READ | JAILHOUSE_MEM_WRITE |
157                                 JAILHOUSE_MEM_EXECUTE | JAILHOUSE_MEM_DMA,
158                 },
159                 /* MemRegion: c0000000-cfffffff : 0000:00:01.0 */
160                 {
161                         .phys_start = 0xc0000000,
162                         .virt_start = 0xc0000000,
163                         .size = 0x10000000,
164                         .flags = JAILHOUSE_MEM_READ | JAILHOUSE_MEM_WRITE,
165                 },
166                 /* MemRegion: d0000000-d07fffff : 0000:00:01.0 */
167                 {
168                         .phys_start = 0xd0000000,
169                         .virt_start = 0xd0000000,
170                         .size = 0x800000,
171                         .flags = JAILHOUSE_MEM_READ | JAILHOUSE_MEM_WRITE,
172                 },
173                 /* MemRegion: d0801000-d0803fff : r8169 */
174                 {
175                         .phys_start = 0xd0801000,
176                         .virt_start = 0xd0801000,
177                         .size = 0x3000,
178                         .flags = JAILHOUSE_MEM_READ | JAILHOUSE_MEM_WRITE,
179                 },
180                 /* MemRegion: fea00000-fea00fff : r8169 */
181                 {
182                         .phys_start = 0xfea00000,
183                         .virt_start = 0xfea00000,
184                         .size = 0x1000,
185                         .flags = JAILHOUSE_MEM_READ | JAILHOUSE_MEM_WRITE,
186                 },
187                 /* MemRegion: feb00000-feb3ffff : 0000:00:01.0 */
188                 {
189                         .phys_start = 0xfeb00000,
190                         .virt_start = 0xfeb00000,
191                         .size = 0x40000,
192                         .flags = JAILHOUSE_MEM_READ | JAILHOUSE_MEM_WRITE,
193                 },
194                 /* MemRegion: feb40000-feb5ffff : 0000:00:01.0 */
195                 {
196                         .phys_start = 0xfeb40000,
197                         .virt_start = 0xfeb40000,
198                         .size = 0x20000,
199                         .flags = JAILHOUSE_MEM_READ | JAILHOUSE_MEM_WRITE,
200                 },
201                 /* MemRegion: feb60000-feb63fff : ICH HD audio */
202                 {
203                         .phys_start = 0xfeb60000,
204                         .virt_start = 0xfeb60000,
205                         .size = 0x4000,
206                         .flags = JAILHOUSE_MEM_READ | JAILHOUSE_MEM_WRITE,
207                 },
208                 /* MemRegion: feb64000-feb67fff : ICH HD audio */
209                 {
210                         .phys_start = 0xfeb64000,
211                         .virt_start = 0xfeb64000,
212                         .size = 0x4000,
213                         .flags = JAILHOUSE_MEM_READ | JAILHOUSE_MEM_WRITE,
214                 },
215                 /* MemRegion: feb68000-feb68fff : xhci_hcd */
216                 {
217                         .phys_start = 0xfeb68000,
218                         .virt_start = 0xfeb68000,
219                         .size = 0x1000,
220                         .flags = JAILHOUSE_MEM_READ | JAILHOUSE_MEM_WRITE,
221                 },
222                 /* MemRegion: feb6a000-feb6afff : xhci_hcd */
223                 {
224                         .phys_start = 0xfeb6a000,
225                         .virt_start = 0xfeb6a000,
226                         .size = 0x1000,
227                         .flags = JAILHOUSE_MEM_READ | JAILHOUSE_MEM_WRITE,
228                 },
229                 /* MemRegion: feb6c000-feb6cfff : ohci_hcd */
230                 {
231                         .phys_start = 0xfeb6c000,
232                         .virt_start = 0xfeb6c000,
233                         .size = 0x1000,
234                         .flags = JAILHOUSE_MEM_READ | JAILHOUSE_MEM_WRITE,
235                 },
236                 /* MemRegion: feb6d000-feb6d0ff : ehci_hcd */
237                 {
238                         .phys_start = 0xfeb6d000,
239                         .virt_start = 0xfeb6d000,
240                         .size = 0x1000,
241                         .flags = JAILHOUSE_MEM_READ | JAILHOUSE_MEM_WRITE,
242                 },
243                 /* MemRegion: feb6e000-feb6efff : ohci_hcd */
244                 {
245                         .phys_start = 0xfeb6e000,
246                         .virt_start = 0xfeb6e000,
247                         .size = 0x1000,
248                         .flags = JAILHOUSE_MEM_READ | JAILHOUSE_MEM_WRITE,
249                 },
250                 /* MemRegion: feb6f000-feb6f0ff : ehci_hcd */
251                 {
252                         .phys_start = 0xfeb6f000,
253                         .virt_start = 0xfeb6f000,
254                         .size = 0x1000,
255                         .flags = JAILHOUSE_MEM_READ | JAILHOUSE_MEM_WRITE,
256                 },
257                 /* MemRegion: feb70000-feb70fff : ohci_hcd */
258                 {
259                         .phys_start = 0xfeb70000,
260                         .virt_start = 0xfeb70000,
261                         .size = 0x1000,
262                         .flags = JAILHOUSE_MEM_READ | JAILHOUSE_MEM_WRITE,
263                 },
264                 /* MemRegion: feb71000-feb717ff : ahci */
265                 {
266                         .phys_start = 0xfeb71000,
267                         .virt_start = 0xfeb71000,
268                         .size = 0x1000,
269                         .flags = JAILHOUSE_MEM_READ | JAILHOUSE_MEM_WRITE,
270                 },
271                 /* MemRegion: feb80000-febfffff : amd_iommu */
272                 {
273                         .phys_start = 0xfeb80000,
274                         .virt_start = 0xfeb80000,
275                         .size = 0x80000,
276                         .flags = JAILHOUSE_MEM_READ | JAILHOUSE_MEM_WRITE,
277                 },
278                 /* MemRegion: fed00000-fed003ff : HPET 0 */
279                 {
280                         .phys_start = 0xfed00000,
281                         .virt_start = 0xfed00000,
282                         .size = 0x1000,
283                         .flags = JAILHOUSE_MEM_READ | JAILHOUSE_MEM_WRITE,
284                 },
285                 /* MemRegion: fed61000-fed70fff : pnp 00:0a */
286                 {
287                         .phys_start = 0xfed61000,
288                         .virt_start = 0xfed61000,
289                         .size = 0x10000,
290                         .flags = JAILHOUSE_MEM_READ | JAILHOUSE_MEM_WRITE,
291                 },
292                 /* MemRegion: 3f000000-3f1fffff : JAILHOUSE Inmate Memory */
293                 {
294                         .phys_start = 0x3f000000,
295                         .virt_start = 0x3f000000,
296                         .size = 0x200000,
297                         .flags = JAILHOUSE_MEM_READ | JAILHOUSE_MEM_WRITE,
298                 },
299         },
300
301         .irqchips = {
302                 /* IOAPIC */ {
303                         .address = 0xfec00000,
304                         .id = 0x0,
305                         .pin_bitmap = 0xffffff,
306                 },
307         },
308
309         .pio_bitmap = {
310                 [     0/8 ...   0x1f/8] = -1,
311                 [  0x20/8 ...   0x27/8] = 0xfc, /* HACK: PIC */
312                 [  0x28/8 ...   0x3f/8] = -1,
313                 [  0x40/8 ...   0x47/8] = 0xf0, /* PIT */
314                 [  0x48/8 ...   0x5f/8] = -1,
315                 [  0x60/8 ...   0x67/8] = 0xec, /* HACK: NMI status/control */
316                 [  0x68/8 ...   0x6f/8] = -1,
317                 [  0x70/8 ...   0x77/8] = 0xfc, /* RTC */
318                 [  0x78/8 ...   0x7f/8] = -1,
319                 [  0x80/8 ...   0x87/8] = 0xfe, /* Port 80 (delays) */
320                 [  0x88/8 ...  0x3af/8] = -1,
321                 [ 0x3b0/8 ...  0x3df/8] = 0x00, /* VGA */
322                 [ 0x3e0/8 ...  0xcf7/8] = 0, /* HACK: PCI bus */
323                 [ 0xcf8/8 ...  0xcff/8] = -1,
324                 [ 0xd00/8 ... 0xffff/8] = 0, /* HACK: PCI bus */
325         },
326
327         .pci_devices = {
328                 /* PCIDevice: 00:00.0 */
329                 {
330                         .type = JAILHOUSE_PCI_TYPE_DEVICE,
331                         .domain = 0x0,
332                         .bdf = 0x0,
333                         .caps_start = 0,
334                         .num_caps = 0,
335                 },
336                 /* PCIDevice: 00:00.2 */
337                 {
338                         .type = JAILHOUSE_PCI_TYPE_DEVICE,
339                         .domain = 0x0,
340                         .bdf = 0x2,
341                         .caps_start = 0,
342                         .num_caps = 3,
343                 },
344                 /* PCIDevice: 00:01.0 */
345                 {
346                         .type = JAILHOUSE_PCI_TYPE_DEVICE,
347                         .domain = 0x0,
348                         .bdf = 0x8,
349                         .caps_start = 3,
350                         .num_caps = 3,
351                 },
352                 /* PCIDevice: 00:01.1 */
353                 {
354                         .type = JAILHOUSE_PCI_TYPE_DEVICE,
355                         .domain = 0x0,
356                         .bdf = 0x9,
357                         .caps_start = 3,
358                         .num_caps = 3,
359                 },
360                 /* PCIDevice: 00:04.0 */
361                 {
362                         .type = JAILHOUSE_PCI_TYPE_BRIDGE,
363                         .domain = 0x0,
364                         .bdf = 0x20,
365                         .caps_start = 6,
366                         .num_caps = 5,
367                 },
368                 /* PCIDevice: 00:10.0 */
369                 {
370                         .type = JAILHOUSE_PCI_TYPE_DEVICE,
371                         .domain = 0x0,
372                         .bdf = 0x80,
373                         .caps_start = 11,
374                         .num_caps = 4,
375                 },
376                 /* PCIDevice: 00:10.1 */
377                 {
378                         .type = JAILHOUSE_PCI_TYPE_DEVICE,
379                         .domain = 0x0,
380                         .bdf = 0x81,
381                         .caps_start = 11,
382                         .num_caps = 4,
383                 },
384                 /* PCIDevice: 00:11.0 */
385                 {
386                         .type = JAILHOUSE_PCI_TYPE_DEVICE,
387                         .domain = 0x0,
388                         .bdf = 0x88,
389                         .caps_start = 15,
390                         .num_caps = 2,
391                 },
392                 /* PCIDevice: 00:12.0 */
393                 {
394                         .type = JAILHOUSE_PCI_TYPE_DEVICE,
395                         .domain = 0x0,
396                         .bdf = 0x90,
397                         .caps_start = 0,
398                         .num_caps = 0,
399                 },
400                 /* PCIDevice: 00:12.2 */
401                 {
402                         .type = JAILHOUSE_PCI_TYPE_DEVICE,
403                         .domain = 0x0,
404                         .bdf = 0x92,
405                         .caps_start = 17,
406                         .num_caps = 2,
407                 },
408                 /* PCIDevice: 00:13.0 */
409                 {
410                         .type = JAILHOUSE_PCI_TYPE_DEVICE,
411                         .domain = 0x0,
412                         .bdf = 0x98,
413                         .caps_start = 0,
414                         .num_caps = 0,
415                 },
416                 /* PCIDevice: 00:13.2 */
417                 {
418                         .type = JAILHOUSE_PCI_TYPE_DEVICE,
419                         .domain = 0x0,
420                         .bdf = 0x9a,
421                         .caps_start = 17,
422                         .num_caps = 2,
423                 },
424                 /* PCIDevice: 00:14.0 */
425                 {
426                         .type = JAILHOUSE_PCI_TYPE_DEVICE,
427                         .domain = 0x0,
428                         .bdf = 0xa0,
429                         .caps_start = 0,
430                         .num_caps = 0,
431                 },
432                 /* PCIDevice: 00:14.2 */
433                 {
434                         .type = JAILHOUSE_PCI_TYPE_DEVICE,
435                         .domain = 0x0,
436                         .bdf = 0xa2,
437                         .caps_start = 19,
438                         .num_caps = 1,
439                 },
440                 /* PCIDevice: 00:14.3 */
441                 {
442                         .type = JAILHOUSE_PCI_TYPE_DEVICE,
443                         .domain = 0x0,
444                         .bdf = 0xa3,
445                         .caps_start = 0,
446                         .num_caps = 0,
447                 },
448                 /* PCIDevice: 00:14.4 */
449                 {
450                         .type = JAILHOUSE_PCI_TYPE_BRIDGE,
451                         .domain = 0x0,
452                         .bdf = 0xa4,
453                         .caps_start = 0,
454                         .num_caps = 0,
455                 },
456                 /* PCIDevice: 00:14.5 */
457                 {
458                         .type = JAILHOUSE_PCI_TYPE_DEVICE,
459                         .domain = 0x0,
460                         .bdf = 0xa5,
461                         .caps_start = 0,
462                         .num_caps = 0,
463                 },
464                 /* PCIDevice: 00:18.0 */
465                 {
466                         .type = JAILHOUSE_PCI_TYPE_DEVICE,
467                         .domain = 0x0,
468                         .bdf = 0xc0,
469                         .caps_start = 0,
470                         .num_caps = 0,
471                 },
472                 /* PCIDevice: 00:18.1 */
473                 {
474                         .type = JAILHOUSE_PCI_TYPE_DEVICE,
475                         .domain = 0x0,
476                         .bdf = 0xc1,
477                         .caps_start = 0,
478                         .num_caps = 0,
479                 },
480                 /* PCIDevice: 00:18.2 */
481                 {
482                         .type = JAILHOUSE_PCI_TYPE_DEVICE,
483                         .domain = 0x0,
484                         .bdf = 0xc2,
485                         .caps_start = 0,
486                         .num_caps = 0,
487                 },
488                 /* PCIDevice: 00:18.3 */
489                 {
490                         .type = JAILHOUSE_PCI_TYPE_DEVICE,
491                         .domain = 0x0,
492                         .bdf = 0xc3,
493                         .caps_start = 20,
494                         .num_caps = 1,
495                 },
496                 /* PCIDevice: 00:18.4 */
497                 {
498                         .type = JAILHOUSE_PCI_TYPE_DEVICE,
499                         .domain = 0x0,
500                         .bdf = 0xc4,
501                         .caps_start = 0,
502                         .num_caps = 0,
503                 },
504                 /* PCIDevice: 00:18.5 */
505                 {
506                         .type = JAILHOUSE_PCI_TYPE_DEVICE,
507                         .domain = 0x0,
508                         .bdf = 0xc5,
509                         .caps_start = 0,
510                         .num_caps = 0,
511                 },
512                 /* PCIDevice: 01:00.0 */
513                 {
514                         .type = JAILHOUSE_PCI_TYPE_DEVICE,
515                         .domain = 0x0,
516                         .bdf = 0x100,
517                         .caps_start = 21,
518                         .num_caps = 5,
519                 },
520         },
521
522         .pci_caps = {
523                 /* PCIDevice: 00:00.2 */
524                 {
525                         .id = 0xf,
526                         .start = 0x40,
527                         .len = 2,
528                         .flags = 0,
529                 },
530                 {
531                         .id = 0x5,
532                         .start = 0x54,
533                         .len = 14,
534                         .flags = JAILHOUSE_PCICAPS_WRITE,
535                 },
536                 {
537                         .id = 0x8,
538                         .start = 0x64,
539                         .len = 2,
540                         .flags = 0,
541                 },
542                 /* PCIDevice: 00:01.0 */
543                 /* PCIDevice: 00:01.1 */
544                 {
545                         .id = 0x1,
546                         .start = 0x50,
547                         .len = 8,
548                         .flags = JAILHOUSE_PCICAPS_WRITE,
549                 },
550                 {
551                         .id = 0x10,
552                         .start = 0x58,
553                         .len = 2,
554                         .flags = 0,
555                 },
556                 {
557                         .id = 0x5,
558                         .start = 0xa0,
559                         .len = 14,
560                         .flags = JAILHOUSE_PCICAPS_WRITE,
561                 },
562                 /* PCIDevice: 00:04.0 */
563                 {
564                         .id = 0x1,
565                         .start = 0x50,
566                         .len = 8,
567                         .flags = JAILHOUSE_PCICAPS_WRITE,
568                 },
569                 {
570                         .id = 0x10,
571                         .start = 0x58,
572                         .len = 2,
573                         .flags = 0,
574                 },
575                 {
576                         .id = 0x5,
577                         .start = 0xa0,
578                         .len = 14,
579                         .flags = JAILHOUSE_PCICAPS_WRITE,
580                 },
581                 {
582                         .id = 0xd,
583                         .start = 0xb0,
584                         .len = 2,
585                         .flags = 0,
586                 },
587                 {
588                         .id = 0x8,
589                         .start = 0xb8,
590                         .len = 2,
591                         .flags = 0,
592                 },
593                 /* PCIDevice: 00:10.0 */
594                 /* PCIDevice: 00:10.1 */
595                 {
596                         .id = 0x1,
597                         .start = 0x50,
598                         .len = 8,
599                         .flags = JAILHOUSE_PCICAPS_WRITE,
600                 },
601                 {
602                         .id = 0x5,
603                         .start = 0x70,
604                         .len = 14,
605                         .flags = JAILHOUSE_PCICAPS_WRITE,
606                 },
607                 {
608                         .id = 0x11,
609                         .start = 0x90,
610                         .len = 12,
611                         .flags = JAILHOUSE_PCICAPS_WRITE,
612                 },
613                 {
614                         .id = 0x10,
615                         .start = 0xa0,
616                         .len = 2,
617                         .flags = 0,
618                 },
619                 /* PCIDevice: 00:11.0 */
620                 {
621                         .id = 0x5,
622                         .start = 0x50,
623                         .len = 14,
624                         .flags = JAILHOUSE_PCICAPS_WRITE,
625                 },
626                 {
627                         .id = 0x12,
628                         .start = 0x70,
629                         .len = 2,
630                         .flags = 0,
631                 },
632                 /* PCIDevice: 00:12.2 */
633                 /* PCIDevice: 00:13.2 */
634                 {
635                         .id = 0x1,
636                         .start = 0xc0,
637                         .len = 8,
638                         .flags = JAILHOUSE_PCICAPS_WRITE,
639                 },
640                 {
641                         .id = 0xa,
642                         .start = 0xe4,
643                         .len = 2,
644                         .flags = 0,
645                 },
646                 /* PCIDevice: 00:14.2 */
647                 {
648                         .id = 0x1,
649                         .start = 0x50,
650                         .len = 8,
651                         .flags = JAILHOUSE_PCICAPS_WRITE,
652                 },
653                 /* PCIDevice: 00:18.3 */
654                 {
655                         .id = 0xf,
656                         .start = 0xf0,
657                         .len = 2,
658                         .flags = 0,
659                 },
660                 /* PCIDevice: 01:00.0 */
661                 {
662                         .id = 0x1,
663                         .start = 0x40,
664                         .len = 8,
665                         .flags = JAILHOUSE_PCICAPS_WRITE,
666                 },
667                 {
668                         .id = 0x5,
669                         .start = 0x50,
670                         .len = 14,
671                         .flags = JAILHOUSE_PCICAPS_WRITE,
672                 },
673                 {
674                         .id = 0x10,
675                         .start = 0x70,
676                         .len = 2,
677                         .flags = 0,
678                 },
679                 {
680                         .id = 0x11,
681                         .start = 0xb0,
682                         .len = 12,
683                         .flags = JAILHOUSE_PCICAPS_WRITE,
684                 },
685                 {
686                         .id = 0x3,
687                         .start = 0xd0,
688                         .len = 2,
689                         .flags = 0,
690                 },
691         },
692 };