ArmPkg: Fix ArmGicSendSgiTo() parameters

The Software Generated Interrupt Register (GICD_SGIR) is a 32 bit
register with the following bit assignment:
  TargetListFilter, bits [25:24]
  CPUTargetList, bits [23:16]
  NSATT, bit [15]
  SGIINTID, bits [3:0]

Therefore, modify the TargetListFilter, CPUTargetList, SGI Interrupt ID
parameters of the ArmGicSendSgiTo () to use UINT8 instead of INTN.

Signed-off-by: Sami Mujawar <sami.mujawar@arm.com>
This commit is contained in:
Sami Mujawar 2021-05-26 17:43:14 +01:00 committed by mergify[bot]
parent a44fef7de3
commit ea522a12b3
2 changed files with 6 additions and 6 deletions

View File

@ -141,9 +141,9 @@ VOID
EFIAPI
ArmGicSendSgiTo (
IN UINTN GicDistributorBase,
IN INTN TargetListFilter,
IN INTN CPUTargetList,
IN INTN SgiId
IN UINT8 TargetListFilter,
IN UINT8 CPUTargetList,
IN UINT8 SgiId
)
{
MmioWrite32 (

View File

@ -167,9 +167,9 @@ VOID
EFIAPI
ArmGicSendSgiTo (
IN UINTN GicDistributorBase,
IN INTN TargetListFilter,
IN INTN CPUTargetList,
IN INTN SgiId
IN UINT8 TargetListFilter,
IN UINT8 CPUTargetList,
IN UINT8 SgiId
);
/*