At 0x40000000, some PCI resource region starts. We accidentally
overlapped this so far which was unnoticed because ivshmem uses 64-bit
resources, and no other PCI device was placed in that region. When
changing ivshmem to 32-bit, this will become relevant, though.

Signed-off-by: Jan Kiszka <[email protected]>
---
 configs/x86/qemu-x86.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/configs/x86/qemu-x86.c b/configs/x86/qemu-x86.c
index fdfa8915..7e0e25bc 100644
--- a/configs/x86/qemu-x86.c
+++ b/configs/x86/qemu-x86.c
@@ -97,7 +97,7 @@ struct {
                /* ACPI */ {
                        .phys_start = 0x3ffdf000,
                        .virt_start = 0x3ffdf000,
-                       .size = 0x30000,
+                       .size =          0x21000,
                        .flags = JAILHOUSE_MEM_READ,
                },
                /* MemRegion: fd000000-fdffffff : 0000:00:01.0 (vesafb) */
-- 
2.16.4

-- 
You received this message because you are subscribed to the Google Groups 
"Jailhouse" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to [email protected].
To view this discussion on the web visit 
https://groups.google.com/d/msgid/jailhouse-dev/d9ab3066-4bb2-b10f-d943-1df044d2107f%40siemens.com.
For more options, visit https://groups.google.com/d/optout.

Reply via email to