path: root/vxi11_server.h

void vxi11_fireinterrupt(void);
void vxi11_deadsocketcallback(int socket);