__ATOMIC_ACQUIRE   35 kernel/main.c      while (__atomic_load_n(&started, __ATOMIC_ACQUIRE) == 0)
__ATOMIC_ACQUIRE   37 kernel/spinlock.c   while (__atomic_exchange_n(&lk->locked, 1, __ATOMIC_ACQUIRE) != 0)