Symbol: read_sysreg_elx