prt_names(p->memory,v4l2_memory_names),
                                p->m.userptr);
                printk ("%s: timecode= %02d:%02d:%02d type=%d, "
-                       "flags=0x%08x, frames=%d, userbits=0x%p\n",
+                       "flags=0x%08x, frames=%d, userbits=0x%08x\n",
                                s,tc->hours,tc->minutes,tc->seconds,
-                               tc->type, tc->flags, tc->frames, tc->userbits);
+                               tc->type, tc->flags, tc->frames, *(__u32 *) tc->userbits);
                break;
        }
        case VIDIOC_QUERYCAP:
 
        dbgarg2 ("timecode= %02d:%02d:%02d type=%d, "
                "flags=0x%08d, frames=%d, userbits=0x%08x\n",
                        tc->hours,tc->minutes,tc->seconds,
-                       tc->type, tc->flags, tc->frames, (__u32) tc->userbits);
+                       tc->type, tc->flags, tc->frames, *(__u32 *) tc->userbits);
 }
 
 static inline void dbgrect(struct video_device *vfd, char *s,