__sync_synchronize   38 spinlock.c       __sync_synchronize();
__sync_synchronize   60 spinlock.c       __sync_synchronize();