IPI_HALT
[IPI_HALT] = IPL_HIGH,
cpu_multicast_ipi(kcp, IPI_HALT);
if (ipi_mask & __BIT(IPI_HALT)) {
ci->ci_evcnt_per_ipi[IPI_HALT].ev_count++;
[IPI_HALT] = "ipi halt",
[ilog2(IPI_HALT)] = e500_ipi_halt,
if (ipi & IPI_HALT) {
cpu_multicast_ipi(cpuset, IPI_HALT);
cpu_multicast_ipi(kcp, IPI_HALT);
if (ipi_mask & __BIT(IPI_HALT)) {
ci->ci_evcnt_per_ipi[IPI_HALT].ev_count++;
[IPI_HALT] = "ipi halt",