diff options
| -rw-r--r-- | vxi11_server.c | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/vxi11_server.c b/vxi11_server.c index d518fe4..d374f3a 100644 --- a/vxi11_server.c +++ b/vxi11_server.c @@ -455,6 +455,9 @@ device_unlock_1_svc(Device_Link *argp, struct svc_req *rqstp) { } void vxi11_fireinterrupt() { +#ifdef DEBUG + printf("vxi11_fireinterrupt()\n"); +#endif if (intclient != NULL) { Device_SrqParms params; params.handle.handle_val = inthandler; |