VIPER_CLKMAN_VBASE
ioreg_write(VIPER_CLKMAN_VBASE + 0x08, 2);
uint32_t ckenreg = ioreg_read(VIPER_CLKMAN_VBASE+CLKMAN_CKEN);
ioreg_write(VIPER_CLKMAN_VBASE+CLKMAN_CKEN, ckenreg);
VIPER_CLKMAN_VBASE,
ioreg_write(VIPER_CLKMAN_VBASE + 0x08, 2);
ioreg_write(VIPER_CLKMAN_VBASE+CLKMAN_CKEN, CKEN_FFUART|CKEN_BTUART |
ioreg_read(VIPER_CLKMAN_VBASE+CLKMAN_CKEN));
uint32_t ckenreg = ioreg_read(VIPER_CLKMAN_VBASE+CLKMAN_CKEN);
ioreg_write(VIPER_CLKMAN_VBASE+CLKMAN_CKEN,
ioreg_write(VIPER_CLKMAN_VBASE+CLKMAN_CKEN,
uint32_t ckenreg = ioreg_read(VIPER_CLKMAN_VBASE+CLKMAN_CKEN);
ioreg_write(VIPER_CLKMAN_VBASE+CLKMAN_CKEN, ckenreg);