Ticketing spinlocks for user space. spinlock.h header file has the APIs that can be used directly from user space. Supported for x86/x86_64