../mi/spinlock.c:
