oliviermartin 5e7731443c ArmPlatformPkg/Sec: Allowed the Secondary Cores to set the Secure/Non Secure bits to their PPIs ... The GICD_IGROUPR0 is banked for each connected processor. It means the Non-Secure bits for the PPIs (Private Peripheral Interrupts) must be configured for every processor. git-svn-id: https://edk2.svn.sourceforge.net/svnroot/edk2/trunk/edk2@13135 6f19259b-4bc3-4df7-8a09-765794883524		2012-03-26 11:03:36 +00:00
..
ArmCpuLib.h	ArmPkg: Introduce ArmCpuLib to abstract ARM Cpu specific initialization (2)	2011-09-27 16:26:03 +00:00
ArmDisassemblerLib.h	Update the copyright notice format	2010-04-29 12:15:47 +00:00
ArmGicLib.h	ArmPlatformPkg/Sec: Allowed the Secondary Cores to set the Secure/Non Secure bits to their PPIs	2012-03-26 11:03:36 +00:00
ArmLib.h	ArmPkg/ArmLib: Added ARM_PROCESSOR_MODE_HYP to ARM_PROCESSOR_MODE	2012-03-26 10:56:07 +00:00
ArmV7ArchTimerLib.h	ArmPkg: Add ARM Architectural Timer support	2011-09-27 16:35:16 +00:00
BdsLib.h	ArmPkg/BdsLib: Use two distinct functions to boot Linux either by Atag or Fdt	2011-09-22 22:54:38 +00:00
BdsUnixLib.h	ArmPlatformPkg/Bds: Add Linux 'initrd' support to BDS	2011-08-18 13:21:14 +00:00
DefaultExceptionHandlerLib.h	Update the copyright notice format	2010-04-29 12:15:47 +00:00
SemihostLib.h	ArmPkg/Library/SemihostLib: Removed depenencies on Uefi.h (Base library)	2012-02-28 17:34:12 +00:00
UncachedMemoryAllocationLib.h	Update the copyright notice format	2010-04-29 12:15:47 +00:00