cpu_send_ipi
cpu_send_ipi(1, IPI_NOMESG);
cpu_send_ipi(1, IPI_NOMESG);
cpu_send_ipi(NULL, IPI_WDOG);
int cpu_send_ipi(struct cpu_info *, int);
cpu_send_ipi(ci, IPI_KPREEMPT);
cpu_send_ipi(ci, IPI_AST);
cpu_send_ipi(l->l_cpu, IPI_AST);
(void)cpu_send_ipi(cpu_lookup(cii), tag);
cpu_send_ipi(IPI_DST_NOTME, IPI_TLB1SYNC);
cpu_send_ipi(IPI_DST_NOTME, IPI_TLB1SYNC);
cpu_send_ipi(IPI_DST_NOTME, IPI_TLB1SYNC);
void cpu_send_ipi(cpuid_t, uint32_t);
cpu_send_ipi(cpuid_t id, uint32_t mask)
cpu_send_ipi(cpu_index(ci), IPI_KPREEMPT);
cpu_send_ipi(cpu_index(ci), IPI_AST);
cpu_send_ipi(cpu_index(l->l_cpu), IPI_AST);
cpu_send_ipi(target, IPI_XCALL);
cpu_send_ipi(target, IPI_GENERIC);
cpu_send_ipi(index, msg);
int cpu_send_ipi(struct cpu_info *, int);
(void)cpu_send_ipi(cpu_lookup(cii), tag);
cpu_send_ipi(ci, IPI_XCALL);
cpu_send_ipi(ci, IPI_GENERIC);
cpu_send_ipi(ci, req);
cpu_send_ipi(ci, IPI_KPREEMPT);
cpu_send_ipi(ci, IPI_AST);
cpu_send_ipi(l->l_cpu, IPI_AST);
void cpu_send_ipi(int, int);
void (*cpu_send_ipi)(struct cpu_info *);
cpu_send_ipi(IPI_DEST_ALL, IPI_DDB);
return cpu_send_ipi(IPI_DEST_MASTER, IPI_START_CNTX);
.cpu_send_ipi = ka820_send_ipi,
cpu_send_ipi(IPI_DEST_MASTER, IPI_SEND_CNCHAR);
(*mp_dep_call->cpu_send_ipi)(ci);
(*mp_dep_call->cpu_send_ipi)(ci);
(*mp_dep_call->cpu_send_ipi)(ci);
cpu_send_ipi(ci->ci_cpuid, IPI_XCALL);
cpu_send_ipi(IPI_DEST_ALL, IPI_XCALL);
cpu_send_ipi(ci->ci_cpuid, IPI_GENERIC);
cpu_send_ipi(IPI_DEST_ALL, IPI_GENERIC);
cpu_send_ipi(IPI_DEST_ALL, IPI_TBIA);
cpu_send_ipi(IPI_DEST_ALL, IPI_TBIA);
cpu_send_ipi(IPI_DEST_ALL, IPI_TBIA);
cpu_send_ipi(IPI_DEST_ALL, IPI_TBIA);
cpu_send_ipi(IPI_DEST_ALL, IPI_TBIA);
cpu_send_ipi(IPI_DEST_ALL, IPI_NEWPTE);
cpu_send_ipi(cpu_lookup(n), IPI_SYNCICACHE);
cpu_send_ipi(cpu_lookup(j), IPI_SHOOTDOWN);