__sync_synchronize 98 kernel/arch/arm32/src/atomic.c void __sync_synchronize(void) __sync_synchronize 166 uspace/lib/c/arch/arm32/src/atomic.c void __sync_synchronize(void)