diff --git a/bsp/raspberry-pi/raspi2/cpu/cpuport.h b/bsp/raspberry-pi/raspi2/cpu/cpuport.h
new file mode 100644
index 0000000000..a339808788
--- /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__*/