IPI_OFF
setidt(IPI_OFF, pti ? IDTVEC(cpuoff_pti) : IDTVEC(cpuoff),
intr_ipi_setup(IPI_OFF, "off", ipi_off, NULL);
ipi_all_but_self(IPI_OFF);
|| type == IPI_SUSPEND || type == IPI_OFF
if (type == IPI_SUSPEND || type == IPI_OFF)
if (type == IPI_SUSPEND || type == IPI_OFF)
if (type == IPI_SUSPEND || type == IPI_OFF)
return (generic_stop_cpus(map, IPI_OFF));