HelenOS sources

__atomic_fetch_add_4  163 uspace/lib/c/arch/arm32/src/atomic.c 	return __atomic_fetch_add_4(mem, -val, model);
__atomic_fetch_add_4  173 uspace/lib/c/arch/arm32/src/atomic.c 	return __atomic_fetch_add_4(vptr, val, __ATOMIC_SEQ_CST) + val;