arm: allow creation of an MSI register frame region
The GICv3 ITS expects a separate 64K page to hold ITS registers.
Add a function to reserve such a page in the guest's I/O memory and
use that for the ITS vGIC type.
Signed-off-by:
Andre Przywara <andre.przywara@arm.com>
Loading
Please register or sign in to comment