usbser_ioctl2str
static char *usbser_ioctl2str(int);
"mp=%p %s (0x%x)", (void *)mp, usbser_ioctl2str(cmd), cmd);