Lines Matching defs:timer
18 #include <timer.h>
19 #include <arch/timer.h>
40 HardwareTimer *timer = HardwareTimer::Get();
41 if (timer != NULL)
42 timer->SetTimeout(timeout);
49 HardwareTimer *timer = HardwareTimer::Get();
50 if (timer != NULL)
51 timer->Clear();
60 TRACE("init ARMv7 generic timer\n");
62 } else if (strncmp(args->arch_args.timer.kind, TIMER_KIND_OMAP3,
63 sizeof(args->arch_args.timer.kind)) == 0) {
64 OMAP3Timer::Init(args->arch_args.timer.regs.start,
65 args->arch_args.timer.interrupt);
66 } else if (strncmp(args->arch_args.timer.kind, TIMER_KIND_PXA,
67 sizeof(args->arch_args.timer.kind)) == 0) {
68 PXATimer::Init(args->arch_args.timer.regs.start);
70 panic("No hardware timer found!\n");
80 HardwareTimer *timer = HardwareTimer::Get();
81 if (timer != NULL)
82 return timer->Time();