140 	apix_vector_t *vecp = apixp->x_vectbl[vector];  in apix_add_pending_hardint()  local
152 	if (vecp == NULL)  in apix_add_pending_hardint()
155 	for (p = vecp->v_autovect; p != NULL; p = p->av_link) {  in apix_add_pending_hardint()
828 	apix_vector_t *vecp = xv_vector(psm_get_cpu_id(), vector);  in apix_post_hardint()  local
829 	int irqno = vecp->v_inum;  in apix_post_hardint()
831 	ASSERT(vecp->v_type == APIX_TYPE_FIXED && apic_level_intr[irqno]);  in apix_post_hardint()
840 	apix_vector_t *vecp = xv_vector(cpu->cpu_id, vector);  in apix_dispatch_by_vector()  local
846 	if (vecp == NULL ||  in apix_dispatch_by_vector()
847 	    (avp = vecp->v_autovect) == NULL || avp->av_vector == NULL)  in apix_dispatch_by_vector()
900 	apix_vector_t *vecp = NULL;  in apix_do_interrupt()  local
955 	vecp = xv_vector(cpu->cpu_id, vector);  in apix_do_interrupt()
963 	if (vecp && vecp->v_type != APIX_TYPE_FIXED &&  in apix_do_interrupt()