void vxi11_fireinterrupt(void);