/** @file\r
Generic ARM implementation of TimerLib.h\r
\r
- Copyright (c) 2011-2012, ARM Limited. All rights reserved.\r
+ Copyright (c) 2011-2013, 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
\r
\r
#include <Base.h>\r
+#include <Library/ArmLib.h>\r
#include <Library/BaseLib.h>\r
#include <Library/TimerLib.h>\r
#include <Library/DebugLib.h>\r
#include <Library/PcdLib.h>\r
#include <Library/ArmArchTimerLib.h>\r
-#include <Chipset/ArmV7.h>\r
\r
#define TICKS_PER_MICRO_SEC (PcdGet32 (PcdArmArchTimerFreqInHz)/1000000U)\r
\r