path: root/kernel/spinlock.h

void init_spinlocks();
volatile void lock_spin(int i);
void lock_release(int i);