diff --git a/bsp/raspberry-pi/raspi2/cpu/cpuport.h b/bsp/raspberry-pi/raspi2/cpu/cpuport.h new file mode 100644 index 00000000000..a3398087884 --- /dev/null +++ b/bsp/raspberry-pi/raspi2/cpu/cpuport.h @@ -0,0 +1,12 @@ +#ifndef CPUPORT_H__ +#define CPUPORT_H__ + +typedef union { + unsigned long slock; + struct __arch_tickets { + unsigned short owner; + unsigned short next; + } tickets; +} rt_hw_spinlock_t; + +#endif /*CPUPORT_H__*/