poke_cpu
poke_cpu(tp->t_cpu->cpu_id);
poke_cpu(cp->cpu_id);
poke_cpu(cpup->cpu_id);
poke_cpu(t->t_cpu->cpu_id);
poke_cpu(cp->cpu_id);
poke_cpu(cp->cpu_id);
poke_cpu(t->t_cpu->cpu_id);
poke_cpu(t->t_cpu->cpu_id);
poke_cpu(tx->t_cpu->cpu_id);
poke_cpu(t->t_cpu->cpu_id);
poke_cpu(t->t_cpu->cpu_id);
void poke_cpu(int cpun); /* interrupt another CPU (to preempt) */
poke_cpu(tp->t_cpu->cpu_id);
poke_cpu(id);
poke_cpu(id);
poke_cpu(next_proxy_id);
poke_cpu(cp->cpu_id);
poke_cpu(cpu_seq[cpu_found]->cpu_id);
poke_cpu(cp->cpu_id);
poke_cpu(cpu->cpu_id);
poke_cpu(cpu_seq[cpu_found]->cpu_id);
poke_cpu(tcpu);
poke_cpu(i);
poke_cpu(i);
poke_cpu(t->t_cpu->cpu_id);
poke_cpu(CPU->cpu_id);
poke_cpu(CPU->cpu_id);
poke_cpu(hostcpu);
poke_cpu(hostcpu);
poke_cpu(vmc->vmc_cpu_active);
poke_cpu(vmc->vmc_cpu_active);
poke_cpu(smt->cs_sib->cpu_id);
poke_cpu(t->t_cpu->cpu_id);
poke_cpu(tp->t_cpu->cpu_id);
poke_cpu(cpu->cpu_id);
poke_cpu(cpu_seq[cpu_found]->cpu_id);
poke_cpu(tp->t_cpu->cpu_id);
poke_cpu(tp->t_cpu->cpu_id);
poke_cpu(cpu->cpu_id);
poke_cpu(cpu_seq[cpu_found]->cpu_id);