ArmPkg/Include/Library/ArmCpuLib.h

   1 /** @file
   2
   3   Copyright (c) 2011, 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 // These are #define and not enum to be used in assembly files
  19 #define ARM_CPU_EVENT_DEFAULT         0
  20 #define ARM_CPU_EVENT_BOOT_MEM_INIT   1
  21 #define ARM_CPU_EVENT_SECURE_INIT     2
  22
  23 typedef UINTN ARM_CPU_SYNCHRONIZE_EVENT;
  24
  25
  26 VOID
  27 ArmCpuSynchronizeWait (
  28   IN ARM_CPU_SYNCHRONIZE_EVENT   Event
  29   );
  30
  31 VOID
  32 ArmCpuSynchronizeSignal (
  33   IN ARM_CPU_SYNCHRONIZE_EVENT   Event
  34   );
  35
  36 VOID
  37 ArmCpuSetup (
  38   IN  UINTN         MpId
  39   );
  40
  41 VOID
  42 ArmCpuSetupSmpNonSecure (
  43   IN  UINTN         MpId
  44   );
  45
  46 #endif // __ARMCPU_LIB__