/** @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
VOID\r
EFIAPI\r
ArmGicSetupNonSecure (\r
+ IN UINTN MpId,\r
IN INTN GicDistributorBase,\r
IN INTN GicInterruptInterfaceBase\r
);\r