1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
| /** @file
| *
| * Copyright (c) 2011-2013, ARM Limited. All rights reserved.
| *
| * SPDX-License-Identifier: BSD-2-Clause-Patent
| *
| **/
|
| #include "PrePi.h"
|
| VOID
| ArchInitialize (
| VOID
| )
| {
| // Enable Floating Point
| if (FixedPcdGet32 (PcdVFPEnabled)) {
| ArmEnableVFP ();
| }
| }
|
|