Symbol: ipi_hardclock
sys/arm/arm/mp_machdep.c
286
ipi_hardclock(void *arg)
sys/arm64/arm64/mp_machdep.c
348
ipi_hardclock(void *dummy __unused)
sys/riscv/riscv/mp_machdep.c
290
ipi_hardclock(void *dummy __unused)