hw: add Timer re-init/resume support

Add explicit init() to Timer infrastructure to re-initialize the hardware
based on the parameters given during constructing time of the timer object.

Issue #4669

repos/base-hw/src/core/kernel/cpu.h

@@ -88,6 +88,9 @@ class Kernel::Cpu : public Genode::Cpu, private Irq::Pool, private Timeout
 			Ipi(Cpu & cpu);
 
 
+			void init();
+
+
 			/*********************
 			 **  Irq interface  **
 			 *********************/

repos/base-hw/src/core/kernel/cpu_mp.cc

@@ -52,5 +52,12 @@ Cpu::Ipi::Ipi(Cpu & cpu)
 :
 	Irq(Board::Pic::IPI, cpu, cpu.pic()), cpu(cpu)
 {
+	init();
+}
+
+
+void Cpu::Ipi::init()
+{
+	pending = false;
 	cpu.pic().unmask(Board::Pic::IPI, cpu.id());
 }

repos/base-hw/src/core/kernel/timer.h

@@ -110,6 +110,9 @@ class Kernel::Timer
 		unsigned interrupt_id() const;
 
 		time_t time() const { return _time + _duration(); }
+
+		void init() { _device.init(); }
+
 };
 
 #endif /* _CORE__KERNEL__TIMER_H_ */

repos/base-hw/src/core/spec/arm/cortex_a9_global_timer.h

@@ -61,6 +61,8 @@ struct Board::Timer : Genode::Mmio
 	Kernel::time_t current_ticks() const;
 
 	Timer(unsigned);
+
+	void init();
 };
 
 #endif /* _SRC__CORE__SPEC__ARM__CORTEX_A9_GLOBAL_TIMER_H_ */

repos/base-hw/src/core/spec/arm/generic_timer.cc

@@ -25,6 +25,12 @@ unsigned long Board::Timer::_freq() { return Genode::Cpu::Cntfrq::read(); }
 
 
 Board::Timer::Timer(unsigned) : ticks_per_ms((unsigned)(_freq() / 1000))
+{
+	init();
+}
+
+
+void Board::Timer::init()
 {
 	Cpu::Cntp_ctl::access_t ctl = 0;
 	Cpu::Cntp_ctl::Enable::set(ctl, 1);

repos/base-hw/src/core/spec/arm/generic_timer.h

@@ -27,6 +27,8 @@ struct Board::Timer
 	unsigned const ticks_per_ms;
 
 	Timer(unsigned);
+
+	void init();
 };
 
 #endif /* _SRC__CORE__SPEC__ARM__GENERIC_TIMER_H_ */

repos/base-hw/src/core/spec/arm/imx_epit.cc

@@ -29,6 +29,12 @@ unsigned Timer::interrupt_id() const { return Board::EPIT_1_IRQ; }
 Board::Timer::Timer(unsigned)
 :
 	Mmio(Platform::mmio_to_virt(Board::EPIT_1_MMIO_BASE))
+{
+	init();
+}
+
+
+void Board::Timer::init()
 {
 	reset();
 

repos/base-hw/src/core/spec/arm/imx_epit.h

@@ -88,6 +88,8 @@ struct Board::Timer : Genode::Mmio
 	}
 
 	Timer(unsigned);
+
+	void init();
 };
 
 #endif /* _SRC__CORE__SPEC__ARM__IMX_EPIT_H_ */

repos/base-hw/src/core/spec/riscv/timer.cc

@@ -21,6 +21,12 @@ using namespace Kernel;
 
 
 Board::Timer::Timer(unsigned)
+{
+	init();
+}
+
+
+void Board::Timer::init()
 {
 	/* enable timer interrupt */
 	enum { STIE = 0x20 };

repos/base-hw/src/core/spec/riscv/timer.h

@@ -34,6 +34,8 @@ struct Board::Timer
 	Kernel::time_t stime() const;
 
 	Timer(unsigned);
+
+	void init();
 };
 
 #endif /* _SRC__CORE__SPEC__RISCV__TIMER_H_ */

repos/base-hw/src/core/spec/x86_64/pit.cc

@@ -56,6 +56,12 @@ uint32_t Board::Timer::pit_calc_timer_freq(void)
 Board::Timer::Timer(unsigned)
 :
 	Mmio(Platform::mmio_to_virt(Hw::Cpu_memory_map::lapic_phys_base()))
+{
+	init();
+}
+
+
+void Board::Timer::init()
 {
 	/* enable LAPIC timer in one-shot mode */
 	write<Tmr_lvt::Vector>(Board::TIMER_VECTOR_KERNEL);

repos/base-hw/src/core/spec/x86_64/pit.h

@@ -72,6 +72,8 @@ struct Board::Timer: Genode::Mmio
 	Genode::uint32_t pit_calc_timer_freq(void);
 
 	Timer(unsigned);
+
+	void init();
 };
 
 #endif /* _SRC__CORE__SPEC__ARM__PIT_H_ */