On 02/02/17 16:32, Andre Przywara wrote: > 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. Strictly speaking, this should be a 128kB region, including the page containing GITS_TRANSLATER. Not that it matters much, but maybe we should consider some special handling if the guest wanders too close to the doorbell... Thoughts? M. -- Jazz is not dead. It just smells funny...
