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