CVMX_USBCX_HFNUM
CVMX_USBCX_HFNUM(usb->index))
usbc_hfnum.u32 = cvmx_usb_read_csr32(usb, CVMX_USBCX_HFNUM(usb->index));