1 #ifndef mutex_H 2 #define mutex_H 1 3 4 extern int sodium_crit_enter(void); 5 extern int sodium_crit_leave(void); 6 7 #endif 8