PXATimer
PXATimer::Init(args->arch_args.timer.regs.start);
PXATimer::Clear()
PXATimer::Time()
PXATimer::_InterruptWrapper(void *data)
return ((PXATimer*)data)->HandleInterrupt();
PXATimer::HandleInterrupt()
PXATimer::PXATimer(uint32_t reg_base)
install_io_interrupt_handler(PXA_TIMERS_INTERRUPT, &PXATimer::_InterruptWrapper, NULL, 0);
PXATimer::SetTimeout(bigtime_t timeout)
class PXATimer : public HardwareTimer {
PXATimer *timer = new(std::nothrow) PXATimer(reg_base);
PXATimer(uint32_t reg_base);