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