IPI_STOP_HARD
intr_ipi_setup(IPI_STOP_HARD, "stop hard", ipi_stop, NULL);
type == IPI_STOP || type == IPI_STOP_HARD
return (generic_stop_cpus(map, IPI_STOP_HARD));
KASSERT(type == IPI_STOP || type == IPI_STOP_HARD
KASSERT(type == IPI_STOP || type == IPI_STOP_HARD,
intr_ipi_setup(IPI_STOP_HARD, "stop hard", ipi_stop, NULL);
if (ipi == IPI_STOP_HARD)
if (ipi == IPI_STOP_HARD)
if (ipi == IPI_STOP_HARD) {