To access the spinlock API, include the following header file:
#include <parlib/spinlock.h>
#define SPINLOCK_INITIALIZER
void spinlock_init(spinlock_t *lock);
int spinlock_trylock(spinlock_t *lock);
void spinlock_lock(spinlock_t *lock);
void spinlock_unlock(spinlock_t *lock);