ArmGicV2Lib.c

3 years ago

ArmPkg: Typecast IntID to UINT32 in ArmGicV2EndOfInterrupt · 08a08129

Sami Mujawar authored 3 years ago


The EIOR register of the Gic CPU interface is a 32 bit register.
However, the HARDWARE_INTERRUPT_SOURCE used to represent the interrupt
source (Interrupt ID) is typedefed as UINTN, see
EmbeddedPkg\Include\Protocol\HardwareInterrupt.h

Therfore, typecast the interrupt ID (Source) value to UINT32 before
setting the EOIR register. Also, add an assert to check that the value
does not exceed 32 bits.

Signed-off-by: Sami Mujawar <sami.mujawar@arm.com>

08a08129

History

ArmPkg: Typecast IntID to UINT32 in ArmGicV2EndOfInterrupt

Sami Mujawar authored 3 years ago


The EIOR register of the Gic CPU interface is a 32 bit register.
However, the HARDWARE_INTERRUPT_SOURCE used to represent the interrupt
source (Interrupt ID) is typedefed as UINTN, see
EmbeddedPkg\Include\Protocol\HardwareInterrupt.h

Therfore, typecast the interrupt ID (Source) value to UINT32 before
setting the EOIR register. Also, add an assert to check that the value
does not exceed 32 bits.

Signed-off-by: Sami Mujawar <sami.mujawar@arm.com>

Code owners

Assign users and groups as approvers for specific file changes. Learn more.

ArmGicV2Lib.c 670 B