SPINLOCK_INLINE    42 kern/include/spinlock.h #define SPINLOCK_INLINE INLINE
SPINLOCK_INLINE    31 kern/thread/spinlock.c #define SPINLOCK_INLINE   /* empty */