/** @file\r
*\r
-* Copyright (c) 2011, ARM Limited. All rights reserved.\r
+* Copyright (c) 2011-2012, ARM Limited. All rights reserved.\r
* \r
* This program and the accompanying materials \r
* are licensed and made available under the terms and conditions of the BSD License \r
#include <Library/ArmGicLib.h>\r
#include <Library/PcdLib.h>\r
\r
+UINTN\r
+EFIAPI\r
+ArmGicGetMaxNumInterrupts (\r
+ IN INTN GicDistributorBase\r
+ )\r
+{\r
+ return 32 * ((MmioRead32 (GicDistributorBase + ARM_GIC_ICDICTR) & 0x1F) + 1);\r
+}\r
+\r
VOID\r
EFIAPI\r
ArmGicSendSgiTo (\r