2011-07-01 13:09:00 +02:00
|
|
|
/** @file
|
|
|
|
*
|
|
|
|
* 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.
|
|
|
|
*
|
|
|
|
**/
|
|
|
|
|
|
|
|
#include "PrePi.h"
|
|
|
|
|
|
|
|
VOID
|
|
|
|
PrimaryMain (
|
|
|
|
IN UINTN UefiMemoryBase,
|
2011-09-23 01:07:55 +02:00
|
|
|
IN UINTN StacksBase,
|
2011-07-01 13:09:00 +02:00
|
|
|
IN UINT64 StartTimeStamp
|
|
|
|
)
|
|
|
|
{
|
2015-11-27 18:07:06 +01:00
|
|
|
PrePiMain (UefiMemoryBase, StacksBase, StartTimeStamp);
|
2011-07-01 13:09:00 +02:00
|
|
|
|
|
|
|
// We must never return
|
|
|
|
ASSERT(FALSE);
|
|
|
|
}
|
|
|
|
|
|
|
|
VOID
|
|
|
|
SecondaryMain (
|
2011-09-23 01:01:13 +02:00
|
|
|
IN UINTN MpId
|
2011-07-01 13:09:00 +02:00
|
|
|
)
|
|
|
|
{
|
|
|
|
// We must never get into this function on UniCore system
|
|
|
|
ASSERT(FALSE);
|
|
|
|
}
|
|
|
|
|