Add symbolic spinlock (Mutex)