[dev][arm-generic-timer] print initialization configuration

This may be unsafe if the platform hasn't initialized a uart or console by the time this is run. May need to revert or change this if it's an issue.
littlekernel · Aug 11, 2024 · 6f24850 · 6f24850
1 parent 84053e4
commit 6f24850
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/dev/timer/arm_generic/arm_generic_timer.c b/dev/timer/arm_generic/arm_generic_timer.c
@@ -314,6 +314,8 @@ void arm_generic_timer_init(int irq, uint32_t freq_override) {
     unmask_interrupt(irq);
 
     timer_irq = irq;
+
+    dprintf(INFO, "Generic timer initialized with freq %u Hz, irq %d\n", cntfrq, irq);
 }
 
 static void arm_generic_timer_init_secondary_cpu(uint level) {