ArmPkg/Drivers/ArmGic: Introduced ArmGicEndOfInterrupt()

[mirror_edk2.git] / ArmPkg / Drivers / ArmGic / ArmGicDxe.c

diff --git a/ArmPkg/Drivers/ArmGic/ArmGicDxe.c b/ArmPkg/Drivers/ArmGic/ArmGicDxe.c
index 111ce144385ba0dfb88cf16037a1b40ce7c00947..e227f19940eafedd6b3b414c10e237e5a47e5c39 100644 (file)
--- a/ArmPkg/Drivers/ArmGic/ArmGicDxe.c
+++ b/ArmPkg/Drivers/ArmGic/ArmGicDxe.c
@@ -227,7 +227,7 @@ EndOfInterrupt (
     return EFI_UNSUPPORTED;\r
   }\r
 \r
-  MmioWrite32 (PcdGet32(PcdGicInterruptInterfaceBase) + ARM_GIC_ICCEIOR, Source);\r
+  ArmGicEndOfInterrupt (PcdGet32(PcdGicInterruptInterfaceBase), Source);\r
   return EFI_SUCCESS;\r
 }\r
 \r