ARM: new VGIC: Add SGIPENDR register handlers
authorAndre Przywara <andre.przywara@linaro.org>
Wed, 7 Feb 2018 17:08:23 +0000 (17:08 +0000)
committerStefano Stabellini <sstabellini@kernel.org>
Wed, 28 Mar 2018 18:18:01 +0000 (11:18 -0700)
commita11452f2d3302da35dcf57adc9b0e7ff54d518d6
treee0658fdf2e8591808758928526fab927cab94d57
parent08c688ca6422bba1ae90067a9c8ce622ffc0673a
ARM: new VGIC: Add SGIPENDR register handlers

As this register is v2 specific, its implementation lives entirely
in vgic-mmio-v2.c.
This register allows setting the source mask of an IPI.

This is based on Linux commit ed40213ef9b0, written by Andre Przywara.

Signed-off-by: Andre Przywara <andre.przywara@linaro.org>
Reviewed-by: Julien Grall <julien.grall@arm.com>
Acked-by: Stefano Stabellini <sstabellini@kernel.org>
xen/arch/arm/vgic/vgic-mmio-v2.c