intr_event_remove_handler
return (intr_event_remove_handler(cookie));
intr_event_remove_handler(*cookiep);
error = intr_event_remove_handler(cookie);
return (intr_event_remove_handler(cookie));
int intr_event_remove_handler(void *cookie);
error = intr_event_remove_handler(cookie);