Symbol: ipi_hardclock
sys/arm/arm/mp_machdep.c
305
intr_ipi_setup(IPI_HARDCLOCK, "hardclock", ipi_hardclock, NULL);
sys/arm64/arm64/mp_machdep.c
103
static void ipi_hardclock(void *);
sys/arm64/arm64/mp_machdep.c
197
intr_ipi_setup(IPI_HARDCLOCK, "hardclock", ipi_hardclock, NULL);
sys/riscv/riscv/mp_machdep.c
128
intr_ipi_setup(IPI_HARDCLOCK, "hardclock", ipi_hardclock, NULL);
sys/riscv/riscv/mp_machdep.c
83
static void ipi_hardclock(void *);