ArmPkg/Include/Library/ArmCpuLib.h

   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__