#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