#include <inttypes.h>
#include "tmacros.h"
#include "system.h"
#include "icq_configuration.h"



#include<stdio.h>

#ifndef ICQ_SPINLOCK_H
#define ICQ_SPINLOCK_H


struct icq_spinlock_t
{
	#ifdef LEON4_IN_PROGRESS
		volatile uint32_t mutex;
	#endif

	#ifdef RTEMS
		rtems_id mutex;
	#endif


	uint32_t _id;
	
} typedef icq_spinlock_t;


void icq_spinlock_init(icq_spinlock_t* sp);

int icq_spinlock_lock(icq_spinlock_t sp);

int icq_spinlock_unlock(icq_spinlock_t sp);

#endif