DWXE_BASIC_CTL0
basicctrl = dwxe_read(sc, DWXE_BASIC_CTL0);
dwxe_write(sc, DWXE_BASIC_CTL0, basicctrl);