[mirror_edk2.git] / ArmPkg / Drivers / ArmGic / ArmGicNonSecLib.c

/** @file\r
*\r
*  Copyright (c) 2011-2014, ARM Limited. All rights reserved.\r
*\r
*  This program and the accompanying materials\r
*  are licensed and made available under the terms and conditions of the BSD License\r
*  which accompanies this distribution.  The full text of the license may be found at\r
*  http://opensource.org/licenses/bsd-license.php\r
*\r
*  THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS,\r
*  WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED.\r
*\r
**/\r
\r
#include <Uefi.h>\r
#include <Library/IoLib.h>\r
#include <Library/ArmGicLib.h>\r
\r
VOID\r
EFIAPI\r
ArmGicEnableDistributor (\r
  IN  INTN          GicDistributorBase\r
  )\r
{\r
  /*\r
   * Enable GIC distributor in Non-Secure world.\r
   * Note: The ICDDCR register is banked when Security extensions are implemented\r
   */\r
  MmioWrite32 (GicDistributorBase + ARM_GIC_ICDDCR, 0x1);\r
}\r
Commit	Line	Data
1bfda055	1	/** @file\r
1bfda055	2	*\r
60775c51	3	* Copyright (c) 2011-2014, ARM Limited. All rights reserved.\r
1bfda055	4	*\r
397bdc99 OM	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
1bfda055	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
1bfda055	19	VOID\r
1bfda055	20	EFIAPI\r
55a0d64b	21	ArmGicEnableDistributor (\r
1bfda055	22	IN INTN GicDistributorBase\r
	23	)\r
	24	{\r
438311a3	25	/*\r
	26	* Enable GIC distributor in Non-Secure world.\r
	27	* Note: The ICDDCR register is banked when Security extensions are implemented\r
	28	*/\r
886f97c8	29	MmioWrite32 (GicDistributorBase + ARM_GIC_ICDDCR, 0x1);\r
1bfda055	30	}\r