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