#ifndef _SPINLOCK_H_
#define _SPINLOCK_H_
#include "minithread.h"

extern void spinlock_init(tas_lock_t *);
extern void spinlock_unlock(tas_lock_t *);
extern void spinlock_lock(tas_lock_t *);

#endif _SPINLOCK_H_