192 	processorid_t tocpu = cpuid & ~IRQ_USER_BOUND;  in apix_alloc_vector_oncpu()  local
196 	ASSERT(APIX_CPU_LOCK_HELD(tocpu));  in apix_alloc_vector_oncpu()
199 	vector = apix_get_avail_vector_oncpu(tocpu, APIX_AVINTR_MIN,  in apix_alloc_vector_oncpu()
204 	vecp = apix_init_vector(tocpu, vector);  in apix_alloc_vector_oncpu()
228 	processorid_t tocpu = cpuid & ~IRQ_USER_BOUND;  in apix_alloc_nvectors_oncpu()  local
231 	ASSERT(APIX_CPU_LOCK_HELD(tocpu));  in apix_alloc_nvectors_oncpu()
242 		if (!IS_VECT_FREE(xv_vector(tocpu, i)))  in apix_alloc_nvectors_oncpu()
253 			if (!IS_VECT_FREE(xv_vector(tocpu, i)))  in apix_alloc_nvectors_oncpu()
268 		if ((vecp = apix_init_vector(tocpu, start + i)) == NULL)  in apix_alloc_nvectors_oncpu()
286 		vecp = xv_vector(tocpu, start + i);  in apix_alloc_nvectors_oncpu()
426 	int tocpu = vecp->v_cpuid, type = vecp->v_type;  in apix_enable_vector()  local
430 	ASSERT(tocpu < apic_nproc);  in apix_enable_vector()
432 	cpu_infop = &apic_cpus[tocpu];  in apix_enable_vector()
474 	apic_redist_cpu_skip &= ~(1 << tocpu);  in apix_enable_vector()