cpu_kick
cpu_kick(ci);
cpu_kick(p->p_cpu);
void cpu_kick(struct cpu_info *);
void cpu_kick(struct cpu_info *);
cpu_kick(ci);
void cpu_kick(struct cpu_info *);
cpu_kick(p->p_cpu);
cpu_kick(ci);
void cpu_kick(struct cpu_info *);
void cpu_kick(struct cpu_info *);
cpu_kick(p->p_cpu);
cpu_kick(ci);
void cpu_kick(struct cpu_info *);
cpu_kick(ci);