cpu_intr
cpu_intr(frame);
void cpu_intr(void *);
IPL_IPI, ci, cpu_intr, ci, ci->ci_dev->dv_xname);
int cpu_intr(void *);