1 #ifndef __HW_SPIN_LOCK__
2 #define __HW_SPIN_LOCK__
3 
4 void hal_hwspinlock_init(void);
5 void hal_hwspinlock_put(int num);
6 void hal_hwspinlock_get(int num);
7 int hal_hwspinlock_check_taken(int num);
8 
9 #endif
10