IPI_DST_NOTME
case IPI_DST_NOTME:
if (target == IPI_DST_ALL || target == IPI_DST_NOTME) {
if (target == IPI_DST_NOTME) {
case IPI_DST_NOTME:
KASSERT(target == IPI_DST_NOTME || target == IPI_DST_ALL);
cpu_send_ipi(IPI_DST_NOTME, IPI_TLB1SYNC);
cpu_send_ipi(IPI_DST_NOTME, IPI_TLB1SYNC);
cpu_send_ipi(IPI_DST_NOTME, IPI_TLB1SYNC);
case IPI_DST_NOTME:
cpuid_t target = (ci != NULL ? cpu_index(ci) : IPI_DST_NOTME);
cpuid_t target = (ci != NULL ? cpu_index(ci) : IPI_DST_NOTME);