xen/arm: gic-v3: Make sure read from ICC_IAR1_EL1 is visible on the redistributor
authorJulien Grall <julien.grall@arm.com>
Wed, 18 Jan 2017 18:54:08 +0000 (18:54 +0000)
committerStefano Stabellini <sstabellini@kernel.org>
Wed, 18 Jan 2017 21:32:26 +0000 (13:32 -0800)
commit12ec20c732a63f26dc243a847343b8b796c2d88c
tree2caa864c70d5a99e698a28b72cc917e2cfa5ebdf
parent3f50ad8dae7f01df3adbbec7b9ce34b61f13d09c
xen/arm: gic-v3: Make sure read from ICC_IAR1_EL1 is visible on the redistributor

"The effects of reading ICC_IAR0_EL1 and ICC_IAR1_EL1 on the state of a
returned INTID are not guaranteed to be visible until after the execution
of a DSB".

Because of the GIC is an external component, a dsb sy is required.
Without it the sysreg read may not have been made visible on the
redistributor.

Signed-off-by: Julien Grall <julien.grall@arm.com>
Reviewed-by: Stefano Stabellini <sstabellini@kernel.org>
xen/arch/arm/gic-v3.c