USBD_DEVINTEN     772 drivers/usb/gadget/udc/lpc32xx_udc.c 	writel(udc->enabled_devints, USBD_DEVINTEN(udc->udp_baseaddr));
USBD_DEVINTEN     779 drivers/usb/gadget/udc/lpc32xx_udc.c 	writel(udc->enabled_devints, USBD_DEVINTEN(udc->udp_baseaddr));