intr_cpu_attach
intr_cpu_attach(ci);
void intr_cpu_attach(struct cpu_info *);
intr_cpu_attach(struct cpu_info *ci)