kernel/fiasco/src/kern/arm/bsp/omap3/timer-arm-mptimer-omap4.cpp

   1 // --------------------------------------------------------------------------
   2 INTERFACE [arm && mptimer && omap4_pandaboard]:
   3
   4 EXTENSION class Timer
   5 {
   6 private:
   7   static Mword interval() { return 499999; }
   8 };