/** @file
*
* Copyright (c) 2011-2013, ARM Limited. All rights reserved.
* SPDX-License-Identifier: BSD-2-Clause-Patent
**/
#include "PrePi.h"
VOID
ArchInitialize (
)
{
// Enable Floating Point
if (FixedPcdGet32 (PcdVFPEnabled)) {
ArmEnableVFP ();
}