Re: [XEN v2 06/12] xen/Arm: vGICv3: Fix emulation of ICC_SGI1R on AArch32

[Julien Grall <julien@xxxxxxx>]

On 02/11/2022 10:41, Michal Orzel wrote:
> Hi Ayan,
>
> On 31/10/2022 16:13, 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.
> NIT: prototype means function declaration.
> vgic_v3_to_sgi is a function that has no prototype.
>
> Apart from that:
> Reviewed-by: Michal Orzel <michal.orzel@xxxxxxx>
Acked-by: Julien Grall <jgrall@xxxxxxxxxx>

Cheers,

--
Julien Grall