fix unknown device id message

diff --git a/comedi/drivers/ni_mio_cs.c b/comedi/drivers/ni_mio_cs.c
index 50ce61983ffbf48717aff29bc759d4c9a7b814e5..a56e1ac66ae86195f71fffe5292df53a95f0a421 100644 (file)
--- a/comedi/drivers/ni_mio_cs.c
+++ b/comedi/drivers/ni_mio_cs.c
@@ -527,7 +527,7 @@ static int ni_getboardtype(comedi_device *dev,dev_link_t *link)
                }
        }
 
-       printk("unknown board -- pretend it is a ");
+       printk("unknown board 0x%04x -- pretend it is a ",id);
 
        return 0;
 }