int_serviced     1109 dev/ic/cy.c    	int int_serviced = -1;
int_serviced     1222 dev/ic/cy.c    			int_serviced = 1;
int_serviced     1257 dev/ic/cy.c    			int_serviced = 1;
int_serviced     1354 dev/ic/cy.c    			int_serviced = 1;
int_serviced     1361 dev/ic/cy.c    	return (int_serviced);