coreboot
coreboot is an Open Source project aimed at replacing the proprietary BIOS found in most computers.
spinlock.h
Go to the documentation of this file.
1 #ifndef SMP_SPINLOCK_H
2 #define SMP_SPINLOCK_H
3 
4 #if ENV_STAGE_SUPPORTS_SMP
5 #include <arch/smp/spinlock.h>
6 #else /* !CONFIG_SMP */
7 
8 #define DECLARE_SPIN_LOCK(x)
9 #define spin_is_locked(lock) 0
10 #define spin_unlock_wait(lock) do {} while (0)
11 #define spin_lock(lock) do {} while (0)
12 #define spin_unlock(lock) do {} while (0)
13 #endif
14 
15 #endif /* SMP_SPINLOCK_H */