Symbol: db_show_clockintr_cpu
sys/kern/kern_clockintr.c
613
void db_show_clockintr_cpu(struct cpu_info *);
sys/kern/kern_clockintr.c
631
db_show_clockintr_cpu(ci);