sy_read
uint32_t data = sy_read(sc, RA_SYSCTL_GPIOMODE);
r = sy_read(sc, RA_SYSCTL_RST);
KASSERT((sy_read(sc, RA_SYSCTL_GPIOMODE) == 0x31c) != 0);
sy_read(sc, RA_SYSCTL_GPIOMODE));
r = sy_read(sc, gpio_mux_map[i].sysreg);
r = sy_read(sc, RA_SYSCTL_GPIOMODE);
r = sy_read(sc, RA_SYSCTL_GPIOMODE);
r = sy_read(sc, RA_SYSCTL_MEMO0);