3 * Copyright (c) 2011-2014, ARM Limited. All rights reserved.
5 * SPDX-License-Identifier: BSD-2-Clause-Patent
10 #include <Library/IoLib.h>
11 #include <Library/ArmGicLib.h>
16 ArmGicV2EnableInterruptInterface (
17 IN INTN GicInterruptInterfaceBase
21 * Enable the CPU interface in Non-Secure world
22 * Note: The ICCICR register is banked when Security extensions are implemented
24 MmioWrite32 (GicInterruptInterfaceBase
+ ARM_GIC_ICCICR
, 0x1);
29 ArmGicV2DisableInterruptInterface (
30 IN INTN GicInterruptInterfaceBase
33 // Disable Gic Interface
34 MmioWrite32 (GicInterruptInterfaceBase
+ ARM_GIC_ICCICR
, 0x0);
35 MmioWrite32 (GicInterruptInterfaceBase
+ ARM_GIC_ICCPMR
, 0x0);