#ifndef __GILBRALTAR_SPINLOCK__
#define __GILBRALTAR_SPINLOCK__

#include <stdint.h>
#include <synchronize.h>

void gilbraltar_spinlock_init(void);
void gilbraltar_spinlock_acquire(enum level, uint32_t *);
void gilbraltar_spinlock_release(enum level, uint32_t *);

#endif