projects / mirror_edk2.git / blame
| 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 |