ArmPkg: Add ARM Architectural Timer support

ARM Architectural Timer support is defined by the ARM Generic Timer Specification. git-svn-id: https://edk2.svn.sourceforge.net/svnroot/edk2/trunk/edk2@12455 6f19259b-4bc3-4df7-8a09-765794883524
2011-09-27 16:35:16 +00:00
parent 0c0e7ef451
commit da9675a241
15 changed files with 1468 additions and 1 deletions
--- a/ArmPkg/Include/Chipset/ArmV7.h
+++ b/ArmPkg/Include/Chipset/ArmV7.h
@@ -17,6 +17,7 @@
 #define __ARM_V7_H__

 #include <Chipset/ArmV7Mmu.h>
+#include <Chipset/ArmV7ArchTimer.h>

 // Domain Access Control Register
 #define DOMAIN_ACCESS_CONTROL_MASK(a)     (3UL << (2 * (a)))
@@ -80,6 +81,12 @@ ArmWriteTpidrurw (
  UINTN Value
  );

+UINTN
+EFIAPI
+ArmIsArchTimerImplemented (
+  VOID
+  );
+
 UINTN
 EFIAPI
 ArmReadIdPfr1 (