TIOTG_USBSS_READ4
while (TIOTG_USBSS_READ4(sc, USBSS_SYSCONFIG) & USBSS_SYSCONFIG_SRESET)
val = TIOTG_USBSS_READ4(sc, USBSS_REVREG);