.header = {
.hypervisor_memory = {
.phys_start = 0x3c000000,
- .size = 0x4000000 - 0x4000,
+ .size = 0x4000000 - 0x30000,
},
.config_memory = {
- .phys_start = 0x3fffc000,
- .size = 0x4000,
+ .phys_start = 0x3ffdf000,
+ .size = 0x30000,
},
.platform_info.x86 = {
.pm_timer_address = 0x608,
JAILHOUSE_MEM_EXECUTE | JAILHOUSE_MEM_DMA,
},
/* ACPI */ {
- .phys_start = 0x3fffc000,
- .virt_start = 0x3fffc000,
- .size = 0x4000,
+ .phys_start = 0x3ffdf000,
+ .virt_start = 0x3ffdf000,
+ .size = 0x30000,
.flags = JAILHOUSE_MEM_READ,
},
/* PCI */ {