USBD_EPINTEN      797 drivers/usb/gadget/udc/lpc32xx_udc.c 	writel(udc->enabled_hwepints, USBD_EPINTEN(udc->udp_baseaddr));
USBD_EPINTEN      804 drivers/usb/gadget/udc/lpc32xx_udc.c 	writel(udc->enabled_hwepints, USBD_EPINTEN(udc->udp_baseaddr));