1 /* SPDX-License-Identifier: GPL-2.0 */ 1 /* SPDX-License-Identifier: GPL-2.0 */
2 #ifndef __LINUX_SPINLOCK_H_ 2 #ifndef __LINUX_SPINLOCK_H_
3 #define __LINUX_SPINLOCK_H_ 3 #define __LINUX_SPINLOCK_H_
4 4
5 #include <pthread.h> 5 #include <pthread.h>
6 #include <stdbool.h> 6 #include <stdbool.h>
7 7
8 #define spinlock_t pthread_mutex_ 8 #define spinlock_t pthread_mutex_t
9 #define DEFINE_SPINLOCK(x) pthread_mutex_ !! 9 #define DEFINE_SPINLOCK(x) pthread_mutex_t x = PTHREAD_MUTEX_INITIALIZER;
10 #define __SPIN_LOCK_UNLOCKED(x) (pthread_mutex <<
11 #define spin_lock_init(x) pthread_mutex_ <<
12 10
13 #define spin_lock(x) pthrea <<
14 #define spin_lock_nested(x, subclass) pthrea <<
15 #define spin_unlock(x) pthrea <<
16 #define spin_lock_bh(x) pthrea <<
17 #define spin_unlock_bh(x) pthrea <<
18 #define spin_lock_irq(x) pthrea <<
19 #define spin_unlock_irq(x) pthrea <<
20 #define spin_lock_irqsave(x, f) (void) 11 #define spin_lock_irqsave(x, f) (void)f, pthread_mutex_lock(x)
21 #define spin_unlock_irqrestore(x, f) (void) 12 #define spin_unlock_irqrestore(x, f) (void)f, pthread_mutex_unlock(x)
22 13
23 #define arch_spinlock_t pthread_mutex_t 14 #define arch_spinlock_t pthread_mutex_t
24 #define __ARCH_SPIN_LOCK_UNLOCKED PTHREAD_MUTE 15 #define __ARCH_SPIN_LOCK_UNLOCKED PTHREAD_MUTEX_INITIALIZER
25 16
26 static inline void arch_spin_lock(arch_spinloc 17 static inline void arch_spin_lock(arch_spinlock_t *mutex)
27 { 18 {
28 pthread_mutex_lock(mutex); 19 pthread_mutex_lock(mutex);
29 } 20 }
30 21
31 static inline void arch_spin_unlock(arch_spinl 22 static inline void arch_spin_unlock(arch_spinlock_t *mutex)
32 { 23 {
33 pthread_mutex_unlock(mutex); 24 pthread_mutex_unlock(mutex);
34 } 25 }
35 26
36 static inline bool arch_spin_is_locked(arch_sp 27 static inline bool arch_spin_is_locked(arch_spinlock_t *mutex)
37 { 28 {
38 return true; 29 return true;
39 } 30 }
40 31
41 #endif 32 #endif
42 33
Linux® is a registered trademark of Linus Torvalds in the United States and other countries.
TOMOYO® is a registered trademark of NTT DATA CORPORATION.