+ .size = 0x1000,
+ .flags = JAILHOUSE_MEM_READ | JAILHOUSE_MEM_WRITE,
+ },
+ /* MemRegion: f7c01000-f7c01fff : 0000:02:00.1 */
+ {
+ .phys_start = 0xf7c01000,
+ .virt_start = 0xf7c01000,
+ .size = 0x1000,
+ .flags = JAILHOUSE_MEM_READ | JAILHOUSE_MEM_WRITE,
+ },
+ /* MemRegion: f7c02000-f7c02fff : 0000:02:00.0 */
+ {
+ .phys_start = 0xf7c02000,
+ .virt_start = 0xf7c02000,
+ .size = 0x1000,
+ .flags = JAILHOUSE_MEM_READ | JAILHOUSE_MEM_WRITE,
+ },
+ /* MemRegion: f7c03000-f7c03fff : 0000:02:00.0 */
+ {
+ .phys_start = 0xf7c03000,
+ .virt_start = 0xf7c03000,
+ .size = 0x1000,
+ .flags = JAILHOUSE_MEM_READ | JAILHOUSE_MEM_WRITE,
+ },
+ /* MemRegion: f7d00000-f7d1ffff : 0000:00:19.0 */
+ {
+ .phys_start = 0xf7d00000,
+ .virt_start = 0xf7d00000,