intr_handler_source
if (isrc != intr_handler_source(cookie))
void *intr_handler_source(void *cookie);
isrc = intr_handler_source(cookie);