IPI_HARDCLOCK
intr_ipi_setup(IPI_HARDCLOCK, "hardclock", ipi_hardclock, NULL);
intr_ipi_setup(IPI_HARDCLOCK, "hardclock", ipi_hardclock, NULL);
ipi_cpu(cpu, IPI_HARDCLOCK);
ipi_all_but_self(IPI_HARDCLOCK);
ipi_cpu(cpu, IPI_HARDCLOCK);
if (ipimask & (1 << IPI_HARDCLOCK)) {
intr_ipi_setup(IPI_HARDCLOCK, "hardclock", ipi_hardclock, NULL);
if (ipi_bitmap & (1 << IPI_HARDCLOCK))
if (ipi_bitmap & (1 << IPI_HARDCLOCK)) {
if (ipi_bitmap & (1 << IPI_HARDCLOCK))