IPI_STOP
setidt(IPI_STOP, pti ? IDTVEC(cpustop_pti) : IDTVEC(cpustop),
intr_ipi_setup(IPI_STOP, "stop", ipi_stop, NULL);
IPI_STOP_HARD = IPI_STOP, /* These are synonyms on arm. */
intr_ipi_setup(IPI_STOP, "stop", ipi_stop, NULL);
setidt(IPI_STOP, IDTVEC(cpustop),
type == IPI_STOP || type == IPI_STOP_HARD
return (generic_stop_cpus(map, IPI_STOP));
KASSERT(type == IPI_STOP || type == IPI_STOP_HARD
if (type == IPI_STOP) {
KASSERT(type == IPI_STOP || type == IPI_STOP_HARD,
return (generic_restart_cpus(map, IPI_STOP));
if (ipimask & (1 << IPI_STOP)) {
intr_ipi_setup(IPI_STOP, "stop", ipi_stop, NULL);
CTASSERT(IPI_STOP < APIC_SPURIOUS_INT);
[IPI_TO_IDX(IPI_STOP)] = { xen_cpustop_handler, "st" },