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