send_senddone_event
send_senddone_event(sock, &dev);
static void send_senddone_event(isc_socket_t *, isc_socketevent_t **);