]>
Commit | Line | Data |
---|---|---|
1bfda055 | 1 | /** @file\r |
2 | *\r | |
3 | * Copyright (c) 2011, 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 | |
438311a3 | 15 | #include <Uefi.h>\r |
1bfda055 | 16 | #include <Library/IoLib.h>\r |
55a0d64b | 17 | #include <Library/ArmGicLib.h>\r |
1bfda055 | 18 | \r |
19 | \r | |
20 | VOID\r | |
21 | EFIAPI\r | |
55a0d64b | 22 | ArmGicEnableInterruptInterface (\r |
1bfda055 | 23 | IN INTN GicInterruptInterfaceBase\r |
24 | )\r | |
2ac288f9 | 25 | { \r |
26 | /*\r | |
438311a3 | 27 | * Enable the CPU interface in Non-Secure world\r |
28 | * Note: The ICCICR register is banked when Security extensions are implemented\r | |
29 | */\r | |
886f97c8 | 30 | MmioWrite32 (GicInterruptInterfaceBase + ARM_GIC_ICCICR, 0x1);\r |
1bfda055 | 31 | }\r |
32 | \r | |
33 | VOID\r | |
34 | EFIAPI\r | |
55a0d64b | 35 | ArmGicEnableDistributor (\r |
1bfda055 | 36 | IN INTN GicDistributorBase\r |
37 | )\r | |
38 | {\r | |
438311a3 | 39 | /*\r |
40 | * Enable GIC distributor in Non-Secure world.\r | |
41 | * Note: The ICDDCR register is banked when Security extensions are implemented\r | |
42 | */\r | |
886f97c8 | 43 | MmioWrite32 (GicDistributorBase + ARM_GIC_ICDDCR, 0x1);\r |
1bfda055 | 44 | }\r |