_atomic_cas_32_ras
if (rasctl(RAS_ADDR(_atomic_cas_32_ras), RAS_SIZE(_atomic_cas_32_ras),
_atomic_cas_32_fn = _atomic_cas_32_ras;
extern uint32_t _atomic_cas_32_ras(volatile uint32_t *, uint32_t, uint32_t);
RAS_DECL(_atomic_cas_32_ras);