ArmPkg/ArmGicLib: Changed ArmGicSendSgiTo() to allow to send a specific SGI

[mirror_edk2.git] / ArmPkg / Drivers / PL390Gic / PL390Gic.c

diff --git a/ArmPkg/Drivers/PL390Gic/PL390Gic.c b/ArmPkg/Drivers/PL390Gic/PL390Gic.c
index c559e64a78f4c3bbf9d378c5699c26ebdbb860f9..56c0fd9c4fdda43bf08ef29276086493df1a7df5 100644 (file)
--- a/ArmPkg/Drivers/PL390Gic/PL390Gic.c
+++ b/ArmPkg/Drivers/PL390Gic/PL390Gic.c
@@ -31,10 +31,11 @@ EFIAPI
 ArmGicSendSgiTo (\r
   IN  INTN          GicDistributorBase,\r
   IN  INTN          TargetListFilter,\r
-  IN  INTN          CPUTargetList\r
+  IN  INTN          CPUTargetList,\r
+  IN  INTN          SgiId\r
   )\r
 {\r
-  MmioWrite32 (GicDistributorBase + ARM_GIC_ICDSGIR, ((TargetListFilter & 0x3) << 24) | ((CPUTargetList & 0xFF) << 16) | PcdGet32(PcdGicSgiIntId));\r
+  MmioWrite32 (GicDistributorBase + ARM_GIC_ICDSGIR, ((TargetListFilter & 0x3) << 24) | ((CPUTargetList & 0xFF) << 16) | SgiId);\r
 }\r
 \r
 UINT32\r