WAKE_INT_MASTER_REG
uint32_t master_reg = amdgpio_read_4(sc, WAKE_INT_MASTER_REG);
amdgpio_write_4(sc, WAKE_INT_MASTER_REG, master_reg);