ArmPkg: Add ARM Architectural Timer support

[mirror_edk2.git] / ArmPkg / Include / Chipset / ArmV7.h

diff --git a/ArmPkg/Include/Chipset/ArmV7.h b/ArmPkg/Include/Chipset/ArmV7.h
index 909686ce361abda8f42cf2a53fb341691b2c0a47..bb306a5f48c515009faaefb7babbd47027d723e3 100644 (file)
--- a/ArmPkg/Include/Chipset/ArmV7.h
+++ b/ArmPkg/Include/Chipset/ArmV7.h
@@ -17,6 +17,7 @@
 #define __ARM_V7_H__\r
 \r
 #include <Chipset/ArmV7Mmu.h>\r
+#include <Chipset/ArmV7ArchTimer.h>\r
 \r
 // Domain Access Control Register\r
 #define DOMAIN_ACCESS_CONTROL_MASK(a)     (3UL << (2 * (a)))\r
@@ -80,6 +81,12 @@ ArmWriteTpidrurw (
   UINTN Value\r
   );\r
 \r
+UINTN\r
+EFIAPI\r
+ArmIsArchTimerImplemented (\r
+  VOID\r
+  );\r
+\r
 UINTN\r
 EFIAPI\r
 ArmReadIdPfr1 (\r