IMPLEMENTATION [riscv]:

IMPLEMENT void Timer_tick::setup(Cpu_number cpu) { enable_vkey(cpu); }

IMPLEMENT void Timer_tick::enable(Cpu_number cpu) { Timer::toggle(cpu, true); }

IMPLEMENT void Timer_tick::disable(Cpu_number cpu) { Timer::toggle(cpu, false); }

IMPLEMENT bool Timer_tick::attach_irq(Irq_base *, unsigned) { return false; }
