CVMX_UAHCX_EHCI_USBCMD
ucmd = cvmx_read64_uint32(CVMX_UAHCX_EHCI_USBCMD);
cvmx_write64_uint32(CVMX_UAHCX_EHCI_USBCMD, ucmd);