__sync_synchronize   32 kernel/main.c      __sync_synchronize();
__sync_synchronize   37 kernel/main.c      __sync_synchronize();
__sync_synchronize   39 kernel/spinlock.c   __sync_synchronize();
__sync_synchronize   60 kernel/spinlock.c   __sync_synchronize();
__sync_synchronize  274 kernel/virtio_disk.c   __sync_synchronize();
__sync_synchronize  279 kernel/virtio_disk.c   __sync_synchronize();
__sync_synchronize  307 kernel/virtio_disk.c   __sync_synchronize();
__sync_synchronize  313 kernel/virtio_disk.c     __sync_synchronize();