CVMX_USBCX_HCINTX 1521 drivers/staging/octeon-usb/octeon-hcd.c 					CVMX_USBCX_HCINTX(channel, usb->index));
CVMX_USBCX_HCINTX 1524 drivers/staging/octeon-usb/octeon-hcd.c 				     CVMX_USBCX_HCINTX(channel, usb->index),
CVMX_USBCX_HCINTX 2610 drivers/staging/octeon-usb/octeon-hcd.c 				CVMX_USBCX_HCINTX(channel, usb->index));