1 /** @file
2 
3   Copyright (c) 2011-2012, ARM Limited. All rights reserved.
4 
5   This program and the accompanying materials
6   are licensed and made available under the terms and conditions of the BSD License
7   which accompanies this distribution.  The full text of the license may be found at
8   http://opensource.org/licenses/bsd-license.php
9 
10   THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS,
11   WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED.
12 
13 **/
14 
15 #ifndef __ARMCPU_LIB__
16 #define __ARMCPU_LIB__
17 
18 VOID
19 ArmCpuSetup (
20   IN  UINTN         MpId
21   );
22 
23 VOID
24 ArmCpuSetupSmpNonSecure (
25   IN  UINTN         MpId
26   );
27 
28 #endif // __ARMCPU_LIB__
29