Get TimerDxe driver compiling.

[mirror_edk2.git] / ArmEbPkg / TimerDxe / Timer.c

diff --git a/ArmEbPkg/TimerDxe/Timer.c b/ArmEbPkg/TimerDxe/Timer.c
index 397f05362b3838fd9c6a3104166d77909ff0a1c9..a034eef0f242b974704b953f7e49e7b3ad7ee836 100755 (executable)
--- a/ArmEbPkg/TimerDxe/Timer.c
+++ b/ArmEbPkg/TimerDxe/Timer.c
@@ -23,7 +23,6 @@
 #include <Library/UefiLib.h>
 #include <Library/PcdLib.h>
 #include <Library/IoLib.h>
-#include <Library/OmapLib.h>
 
 #include <Protocol/Timer.h>
 #include <Protocol/HardwareInterrupt.h>
@@ -44,6 +43,8 @@ EFI_HARDWARE_INTERRUPT_PROTOCOL *gInterrupt = NULL;
 // Cached interrupt vector
 UINTN  gVector;
 
+UINT32 mLastTickCount;
+
 
 /**
 
@@ -184,7 +185,7 @@ TimerDriverSetTimerPeriod (
     Status = gInterrupt->DisableInterruptSource (gInterrupt, gVector);    
   } else {  
     // Convert TimerPeriod into 1MHz clock counts (us units = 100ns units / 10)\r
-    TimerTicks = DivU64x32 (TimerPeriod, 10, NULL);\r
+    TimerTicks = DivU64x32 (TimerPeriod, 10);\r
    \r
     // if it's larger than 32-bits, pin to highest value\r
     if (TimerTicks > 0xffffffff) {\r
@@ -352,10 +353,6 @@ TimerInitialize (
   // Disable the timer
   Status = TimerDriverSetTimerPeriod (&gTimer, 0);
   ASSERT_EFI_ERROR (Status);
-\r
-  // Install interrupt handler for SP804 timer 0/1 interrupts\r
-  Status = mGic->RegisterInterruptHandler(mGic, EB_TIMER01_INTERRUPT_NUM, TimerInterruptHandler);\r
-  ASSERT_EFI_ERROR (Status);\r
 
   // Install interrupt handler
   gVector = EB_TIMER01_INTERRUPT_NUM;