+ /* MemRegion: 01000000-01ffffff : Kernel */
+ {
+ .phys_start = 0x1000000,
+ .virt_start = 0x1000000,
+ .size = 0x1000000,
+ .flags = JAILHOUSE_MEM_READ | JAILHOUSE_MEM_WRITE |
+ JAILHOUSE_MEM_EXECUTE | JAILHOUSE_MEM_DMA,
+ },
+ /* MemRegion: 02000000-3affffff : System RAM */
+ {
+ .phys_start = 0x2000000,
+ .virt_start = 0x2000000,
+ .size = 0x39000000,
+ .flags = JAILHOUSE_MEM_READ | JAILHOUSE_MEM_WRITE |
+ JAILHOUSE_MEM_EXECUTE | JAILHOUSE_MEM_DMA,
+ },
+ /* MemRegion: 3f200000-6b8ecfff : System RAM */