On 25 July 2014 16:56, Joel Schopp <joel.schopp@xxxxxxx> wrote: > The problem with this patch is the gicv is really 8K. The reason you > would map at a 60K offset (0xf000), and why we do on our SOC, is so that > the 8K gicv would pick up the last 4K from the first page and the first > 4K from the next page. With your patch it is impossible to map all 8K > of the gicv with 64K pages. > > My SOC which works fine with kvm now will go to not working with kvm > after this patch. Your SOC currently works by fluke because the guest doesn't look at the last 4K of the GICC. If you're happy with it continuing to work by fluke you could make your device tree say it had a 64K GICV region with a 64K-aligned base. To make it work not by fluke but actually correctly requires Marc's patchset, at a minimum. thanks -- PMM -- To unsubscribe from this list: send the line "unsubscribe kvm" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html