--- /dev/null
+#ifndef _SPINLOCK_H_
+#define _SPINLOCK_H_ 1
+struct spinlock_t {
+ uint32_t ticket;
+ uint32_t counter;
+};
+
+void spinlock_release(struct spinlock_t *);
+void spinlock_init(struct spinlock_t *);
+void spinlock_acquire(struct spinlock_t *);
+#endif