40 	HardwareTimer *timer = HardwareTimer::Get();  in arch_timer_set_hardware_timer()  local
41 	if (timer != NULL)  in arch_timer_set_hardware_timer()
42 		timer->SetTimeout(timeout);  in arch_timer_set_hardware_timer()
49 	HardwareTimer *timer = HardwareTimer::Get();  in arch_timer_clear_hardware_timer()  local
50 	if (timer != NULL)  in arch_timer_clear_hardware_timer()
51 		timer->Clear();  in arch_timer_clear_hardware_timer()
62 	} else if (strncmp(args->arch_args.timer.kind, TIMER_KIND_OMAP3,  in arch_init_timer()
63 		sizeof(args->arch_args.timer.kind)) == 0) {  in arch_init_timer()
64 		OMAP3Timer::Init(args->arch_args.timer.regs.start,  in arch_init_timer()
65 			args->arch_args.timer.interrupt);  in arch_init_timer()
66 	} else if (strncmp(args->arch_args.timer.kind, TIMER_KIND_PXA,  in arch_init_timer()
67 		sizeof(args->arch_args.timer.kind)) == 0) {  in arch_init_timer()
68 		PXATimer::Init(args->arch_args.timer.regs.start);  in arch_init_timer()
80 	HardwareTimer *timer = HardwareTimer::Get();  in system_time()  local
81 	if (timer != NULL)  in system_time()
82 		return timer->Time();  in system_time()