fetch_and_or_8
fetch_and_or_8(volatile uint64_t *addr, uint64_t val, ...)
(void) fetch_and_or_8(addr, val);