fetch_and_add_4
fetch_and_add_4(volatile uint32_t *addr, uint32_t val, ...)
(void) fetch_and_add_4(addr, val);