ArmPlatformPkg: Code cleaning
- Fix coding style to follow EDK2 coding convention - Remove deprecated function - Remove unused PCDs git-svn-id: https://edk2.svn.sourceforge.net/svnroot/edk2/trunk/edk2@11808 6f19259b-4bc3-4df7-8a09-765794883524
This commit is contained in:
60
ArmPlatformPkg/PrePeiCore/PrePeiCore.h
Normal file
60
ArmPlatformPkg/PrePeiCore/PrePeiCore.h
Normal file
@@ -0,0 +1,60 @@
|
||||
/** @file
|
||||
* Main file supporting the transition to PEI Core in Normal World for Versatile Express
|
||||
*
|
||||
* Copyright (c) 2011, ARM Limited. All rights reserved.
|
||||
*
|
||||
* This program and the accompanying materials
|
||||
* are licensed and made available under the terms and conditions of the BSD License
|
||||
* which accompanies this distribution. The full text of the license may be found at
|
||||
* http://opensource.org/licenses/bsd-license.php
|
||||
*
|
||||
* THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS,
|
||||
* WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED.
|
||||
*
|
||||
**/
|
||||
#ifndef __PREPEICORE_H_
|
||||
#define __PREPEICORE_H_
|
||||
|
||||
#include <PiPei.h>
|
||||
#include <Ppi/TemporaryRamSupport.h>
|
||||
|
||||
|
||||
EFI_STATUS
|
||||
EFIAPI
|
||||
SecTemporaryRamSupport (
|
||||
IN CONST EFI_PEI_SERVICES **PeiServices,
|
||||
IN EFI_PHYSICAL_ADDRESS TemporaryMemoryBase,
|
||||
IN EFI_PHYSICAL_ADDRESS PermanentMemoryBase,
|
||||
IN UINTN CopySize
|
||||
);
|
||||
|
||||
VOID
|
||||
SecSwitchStack (
|
||||
INTN StackDelta
|
||||
);
|
||||
|
||||
// Vector Table for Pei Phase
|
||||
VOID PeiVectorTable (VOID);
|
||||
|
||||
VOID
|
||||
EFIAPI
|
||||
PrimaryMain (
|
||||
IN EFI_PEI_CORE_ENTRY_POINT PeiCoreEntryPoint
|
||||
);
|
||||
|
||||
/*
|
||||
* This is the main function for secondary cores. They loop around until a non Null value is written to
|
||||
* SYS_FLAGS register.The SYS_FLAGS register is platform specific.
|
||||
* Note:The secondary cores, while executing secondary_main, assumes that:
|
||||
* : SGI 0 is configured as Non-secure interrupt
|
||||
* : Priority Mask is configured to allow SGI 0
|
||||
* : Interrupt Distributor and CPU interfaces are enabled
|
||||
*
|
||||
*/
|
||||
VOID
|
||||
EFIAPI
|
||||
SecondaryMain (
|
||||
IN UINTN CoreId
|
||||
);
|
||||
|
||||
#endif
|
Reference in New Issue
Block a user