src/system/kernel/arch/arm/arch_timer.cpp

59

if (ARMGenericTimer::IsAvailable()) {

src/system/kernel/arch/arm/arch_timer.cpp

61

ARMGenericTimer::Init();

src/system/kernel/arch/arm/arch_timer_generic.cpp

36

ARMGenericTimer::SetTimeout(bigtime_t timeout)

src/system/kernel/arch/arm/arch_timer_generic.cpp

50

ARMGenericTimer::Clear()

src/system/kernel/arch/arm/arch_timer_generic.cpp

59

ARMGenericTimer::Time()

src/system/kernel/arch/arm/arch_timer_generic.cpp

66

ARMGenericTimer::_InterruptWrapper(void *data)

src/system/kernel/arch/arm/arch_timer_generic.cpp

68

return ((ARMGenericTimer*)data)->HandleInterrupt();

src/system/kernel/arch/arm/arch_timer_generic.cpp

73

ARMGenericTimer::HandleInterrupt()

src/system/kernel/arch/arm/arch_timer_generic.cpp

79

ARMGenericTimer::ARMGenericTimer()

src/system/kernel/arch/arm/arch_timer_generic.cpp

85

&ARMGenericTimer::_InterruptWrapper, this, 0);

src/system/kernel/arch/arm/arch_timer_generic.cpp

93

ARMGenericTimer::IsAvailable()

src/system/kernel/arch/arm/arch_timer_generic.h

13

class ARMGenericTimer : public HardwareTimer {

src/system/kernel/arch/arm/arch_timer_generic.h

20

ARMGenericTimer *timer = new(std::nothrow) ARMGenericTimer();

src/system/kernel/arch/arm/arch_timer_generic.h

26

ARMGenericTimer();