G42XXEB_CLKMAN_VBASE
G42XXEB_CLKMAN_VBASE,
ioreg_write(G42XXEB_CLKMAN_VBASE + 0x08, 2);
uint32_t ckenreg = ioreg_read(G42XXEB_CLKMAN_VBASE+CLKMAN_CKEN);
ioreg_write(G42XXEB_CLKMAN_VBASE+CLKMAN_CKEN,
ioreg_write(G42XXEB_CLKMAN_VBASE+CLKMAN_CKEN,
uint32_t ckenreg = ioreg_read(G42XXEB_CLKMAN_VBASE+CLKMAN_CKEN);
ioreg_write(G42XXEB_CLKMAN_VBASE+CLKMAN_CKEN, ckenreg);