__atomic_fetch_sub_4 55 kernel/arch/arm32/src/atomic.c unsigned __atomic_fetch_sub_4(volatile void *mem0, unsigned val, int model) __atomic_fetch_sub_4 161 uspace/lib/c/arch/arm32/src/atomic.c unsigned __atomic_fetch_sub_4(volatile void *mem, unsigned val, int model)HelenOS homepage, sources at GitHub