713 #define __arm_rsr(sysreg) __builtin_arm_rsr(sysreg)  argument
714 #define __arm_rsr64(sysreg) __builtin_arm_rsr64(sysreg)  argument
715 #define __arm_rsr128(sysreg) __builtin_arm_rsr128(sysreg)  argument
716 #define __arm_rsrp(sysreg) __builtin_arm_rsrp(sysreg)  argument
717 #define __arm_rsrf(sysreg) __builtin_bit_cast(float, __arm_rsr(sysreg))  argument
718 #define __arm_rsrf64(sysreg) __builtin_bit_cast(double, __arm_rsr64(sysreg))  argument
719 #define __arm_wsr(sysreg, v) __builtin_arm_wsr(sysreg, v)  argument
720 #define __arm_wsr64(sysreg, v) __builtin_arm_wsr64(sysreg, v)  argument
721 #define __arm_wsr128(sysreg, v) __builtin_arm_wsr128(sysreg, v)  argument
722 #define __arm_wsrp(sysreg, v) __builtin_arm_wsrp(sysreg, v)  argument
723 #define __arm_wsrf(sysreg, v) __arm_wsr(sysreg, __builtin_bit_cast(uint32_t, v))  argument
724 #define __arm_wsrf64(sysreg, v) __arm_wsr64(sysreg, __builtin_bit_cast(uint64_t, v))  argument