Symbol: write_sysreg