pub fn enable_irqs(timer_irq_num: usize)
Enable timer interrupts.
It should be called on all CPUs, as the timer interrupt is a PPI (Private Peripheral Interrupt).