tree 9929970f903e9ca45f430861ad4a946c54b76874
parent cfb4a10d76e2ef47438e7fa5b71d5f87d09c3dcd
author Sami Mujawar <sami.mujawar@arm.com> 1684242777 +0100
committer mergify[bot] <37929162+mergify[bot]@users.noreply.github.com> 1685634721 +0000

ArmPkg: Prevent SgiId from setting RES0 bits of GICD_SGIR

GICD_SGIR is a 32-bit register, of which INTID is bits [3:0] and Bits
[14:4] is RES0. Since SgiId parameter in the function ArmGicSendSgiTo ()
is UINT8, mask unused bits of SgiId before writing to the GICD_SGIR
register to prevent accidental setting of the RES0 bits.

Signed-off-by: Sami Mujawar <sami.mujawar@arm.com>
Reviewed-by: Ard Biesheuvel <ardb@kernel.org>