spapr: populate device tree depending on XIVE_EXPLOIT option
commitb87680427e8a3ff682f66514e99a8344e7437247
authorCédric Le Goater <clg@kaod.org>
Wed, 5 Jul 2017 17:13:15 +0000 (5 19:13 +0200)
committerDavid Gibson <david@gibson.dropbear.id.au>
Tue, 11 Jul 2017 01:04:02 +0000 (11 11:04 +1000)
treeb4e8b56aa3362aca7924cb167c8f7f6276d97e91
parentf2b14e3a9f2e6c6c35a90dd282ea55e8bcb61b8d
spapr: populate device tree depending on XIVE_EXPLOIT option

When XIVE is supported, the device tree should be populated
accordingly and the XIVE memory regions mapped to activate MMIOs.

Depending on the design we choose, we could also allocate different
ICS and ICP objects, or switch between objects. This needs to be
discussed.

Signed-off-by: Cédric Le Goater <clg@kaod.org>
Signed-off-by: David Gibson <david@gibson.dropbear.id.au>
hw/ppc/spapr.c