cpu_intr_alloc
void cpu_intr_alloc(cpu_t *cp, int n); /* allocate interrupt threads */
cpu_intr_alloc(cp, NINTR_THREADS);
cpu_intr_alloc(CPU, NINTR_THREADS);
cpu_intr_alloc(cp, NINTR_THREADS);
cpu_intr_alloc(CPU, NINTR_THREADS);