path: root/vxi11_server.h

void vxi11_fireinterrupt(void);