Re: [RFC PATCH v1 06/12] Arm: GICv3: Emulate of ICC_SGI1R on AArch32

2022-10-22 Thread Julien Grall
Title: Similar to the previous patch, you are fixing the existing emulation. On 21/10/2022 16:31, Ayan Kumar Halder wrote: Refer Arm IHI 0069H ID020922, 12.5.23, ICC_SGI1R is a 64 bit register on Aarch32 systems. Thus, the prototype needs to change to reflect this. At first, it wasn't obvious wh

[RFC PATCH v1 06/12] Arm: GICv3: Emulate of ICC_SGI1R on AArch32

2022-10-21 Thread Ayan Kumar Halder
Refer Arm IHI 0069H ID020922, 12.5.23, ICC_SGI1R is a 64 bit register on Aarch32 systems. Thus, the prototype needs to change to reflect this. Signed-off-by: Ayan Kumar Halder --- xen/arch/arm/vgic-v3.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/xen/arch/arm/vgic-v3.c b/