/* LINTLIBRARY */
#include "Vspinlock.h"
#include "../../m68k/Vlint.h"
#define _LINE_ID(line, file)# line file
_LINE_ID(10,"/brew/V/libc/locking/mi/spinlock.c")
void ReleaseSpinLock(lock) SpinLockType *lock; { }
_LINE_ID(16,"/brew/V/libc/locking/mi/spinlock.c")
void AcquireSpinLock(lock) SpinLockType *lock; { }
