uuid_le visorchannel_get_uuid(VISORCHANNEL *channel);
 struct memregion *visorchannel_get_memregion(VISORCHANNEL *channel);
 char *visorchannel_uuid_id(uuid_le *guid, char *s);
-void visorchannel_debug(VISORCHANNEL *channel, int nQueues,
+void visorchannel_debug(VISORCHANNEL *channel, int num_queues,
                        struct seq_file *seq, u32 off);
 void visorchannel_dump_section(VISORCHANNEL *chan, char *s,
                               int off, int len, struct seq_file *seq);
 
 }
 
 void
-visorchannel_debug(VISORCHANNEL *channel, int nQueues,
+visorchannel_debug(VISORCHANNEL *channel, int num_queues,
                   struct seq_file *seq, u32 off)
 {
        HOSTADDRESS addr = 0;
        if ((phdr->ch_space_offset == 0) || (errcode < 0))
                ;
        else
-               for (i = 0; i < nQueues; i++) {
+               for (i = 0; i < num_queues; i++) {
                        struct signal_queue_header q;
 
                        errcode = visorchannel_read(channel,