__ATOMIC_RELEASE   33 kernel/main.c      __atomic_store_n(&started, 1, __ATOMIC_RELEASE);
__ATOMIC_RELEASE   73 kernel/spinlock.c   __atomic_store_n(&lk->locked, 0, __ATOMIC_RELEASE);