Re: [Xen-devel] [PATCH 19/19] xen: arm: Annotate source of ICC SGI register trapping

2015-04-06 Thread Julien Grall
Hi Ian, On 31/03/2015 12:07, Ian Campbell wrote: I was unable to find an ARMv8 ARM reference to this, so refer to the GIC Architecture Specification instead. ARMv8 ARM does cover other ways of trapping these accesses via ICH_HCR_EL2 but we don't use those and they trap additional registers as w

[Xen-devel] [PATCH 19/19] xen: arm: Annotate source of ICC SGI register trapping

2015-03-31 Thread Ian Campbell
I was unable to find an ARMv8 ARM reference to this, so refer to the GIC Architecture Specification instead. ARMv8 ARM does cover other ways of trapping these accesses via ICH_HCR_EL2 but we don't use those and they trap additional registers as well. Signed-off-by: Ian Campbell --- xen/arch/arm