Three minor fixes I stumbled upon when hacking around in kvmtool. Not sure how the v2m support actually worked at the moment. We might want to look at some MMIO space allocation algorithm to use for the GIC as well, possibly merging it with the virtio MMIO allocation we already have in place (virtio_mmio_get_io_space_block()). Not sure what the reason was to put the GIC at a different place. Cheers, Andre. Andre Przywara (3): arm/gic: remove extra 64K from ITS allocation arm/gic: avoid GICv2m MMIO frame overlap arm/gic: move GICv2M gadget size into private header arm/aarch32/include/asm/kvm.h | 2 -- arm/aarch64/include/asm/kvm.h | 2 -- arm/gic.c | 6 +++--- arm/include/arm-common/gic.h | 2 ++ 4 files changed, 5 insertions(+), 7 deletions(-) -- 2.14.1