Static shared memory requires device-tree boot. At the moment, booting
with ACPI enabled and CONFIG_STATIC_SHM=y results in a data abort when
dereferencing node in process_shm() because dt_host is always NULL.
Fixes: 09c0a8976acf ("xen/arm: enable statically shared memory on Dom0")
Signed-off-by: Michal Orzel <michal.orzel@amd.com>
Reviewed-by: Bertrand Marquis <bertrand.marquis@arm.com>
else
allocate_memory(d, kinfo);
- rc = process_shm_chosen(d, kinfo);
- if ( rc < 0 )
- return rc;
+ if ( acpi_disabled )
+ {
+ rc = process_shm_chosen(d, kinfo);
+ if ( rc < 0 )
+ return rc;
+ }
/* Map extra GIC MMIO, irqs and other hw stuffs to dom0. */
rc = gic_map_hwdom_extra_mappings(d);