CVMX_USBCX_HCINTMSKX  903 drivers/staging/octeon-usb/octeon-hcd.c 				     CVMX_USBCX_HCINTMSKX(channel, usb->index),
CVMX_USBCX_HCINTMSKX 1551 drivers/staging/octeon-usb/octeon-hcd.c 				     CVMX_USBCX_HCINTMSKX(channel, usb->index),
CVMX_USBCX_HCINTMSKX 2640 drivers/staging/octeon-usb/octeon-hcd.c 						     CVMX_USBCX_HCINTMSKX(channel, usb->index),
CVMX_USBCX_HCINTMSKX 2668 drivers/staging/octeon-usb/octeon-hcd.c 	cvmx_usb_write_csr32(usb, CVMX_USBCX_HCINTMSKX(channel, usb->index), 0);