]>
Commit | Line | Data |
---|---|---|
25402f5d HL |
1 | /** @file\r |
2 | \r | |
3 | Copyright (c) 2011 - 2013, ARM Limited. All rights reserved.\r | |
4 | \r | |
5 | This program and the accompanying materials\r | |
6 | are licensed and made available under the terms and conditions of the BSD License\r | |
7 | which accompanies this distribution. The full text of the license may be found at\r | |
8 | http://opensource.org/licenses/bsd-license.php\r | |
9 | \r | |
10 | THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS,\r | |
11 | WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED.\r | |
12 | \r | |
13 | **/\r | |
14 | \r | |
15 | #include <Base.h>\r | |
25402f5d | 16 | #include <Library/ArmCpuLib.h>\r |
4f6d34b4 | 17 | #include <Library/ArmGenericTimerCounterLib.h>\r |
25402f5d HL |
18 | #include <Library/PcdLib.h>\r |
19 | \r | |
3535213a | 20 | #include <Chipset/AArch64.h>\r |
25402f5d HL |
21 | \r |
22 | VOID\r | |
23 | ArmCpuSetup (\r | |
24 | IN UINTN MpId\r | |
25 | )\r | |
26 | {\r | |
27 | // Note: System Counter frequency can only be set in Secure privileged mode,\r | |
28 | // if security extensions are implemented.\r | |
4f6d34b4 | 29 | ArmGenericTimerSetTimerFreq (PcdGet32 (PcdArmArchTimerFreqInHz));\r |
25402f5d HL |
30 | }\r |
31 | \r | |
32 | \r | |
33 | VOID\r | |
34 | ArmCpuSetupSmpNonSecure (\r | |
35 | IN UINTN MpId\r | |
36 | )\r | |
37 | {\r | |
38 | // Nothing to do\r | |
39 | }\r |