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