__atomic_fetch_add_4 40 kernel/arch/arm32/src/atomic.c unsigned __atomic_fetch_add_4(volatile void *mem0, unsigned val, int model) __atomic_fetch_add_4 125 uspace/lib/c/arch/arm32/src/atomic.c unsigned __atomic_fetch_add_4(volatile void *mem0, unsigned val, int model)HelenOS homepage, sources at GitHub