5a5440d0dc
This patch fixes the following Ecc reported error: File header doesn't exist File header comment missing the ""Copyright"" Even though a copyright is present in the header file, the leading '*' char prevents the Ecc tool from detecting it. According to the edk2 coding specifcation, section 5.2.3 "File Heading", there should not be leading '*' char. Signed-off-by: Pierre Gondois <Pierre.Gondois@arm.com> Reviewed-by: Ard Biesheuvel <ardb@kernel.org> Reviewed-by: Sami Mujawar <sami.mujawar@arm.com>
35 lines
783 B
C
35 lines
783 B
C
/** @file
|
|
|
|
Copyright (c) 2011-2017, ARM Limited. All rights reserved.
|
|
|
|
SPDX-License-Identifier: BSD-2-Clause-Patent
|
|
|
|
**/
|
|
|
|
#include "PrePi.h"
|
|
|
|
#include <Chipset/AArch64.h>
|
|
|
|
VOID
|
|
ArchInitialize (
|
|
VOID
|
|
)
|
|
{
|
|
// Enable Floating Point
|
|
if (FixedPcdGet32 (PcdVFPEnabled)) {
|
|
ArmEnableVFP ();
|
|
}
|
|
|
|
if (ArmReadCurrentEL () == AARCH64_EL2) {
|
|
// Trap General Exceptions. All exceptions that would be routed to EL1 are routed to EL2
|
|
ArmWriteHcr (ARM_HCR_TGE);
|
|
|
|
/* Enable Timer access for non-secure EL1 and EL0
|
|
The cnthctl_el2 register bits are architecturally
|
|
UNKNOWN on reset.
|
|
Disable event stream as it is not in use at this stage
|
|
*/
|
|
ArmWriteCntHctl (CNTHCTL_EL2_EL1PCTEN | CNTHCTL_EL2_EL1PCEN);
|
|
}
|
|
}
|