epnames           471 drivers/usb/gadget/udc/lpc32xx_udc.c static char *epnames[] = {"INT", "ISO", "BULK", "CTRL"};
epnames           482 drivers/usb/gadget/udc/lpc32xx_udc.c 	seq_printf(s, " type %4s", epnames[ep->eptype]);