Palacios Public Git Repository

To checkout Palacios execute

  git clone http://v3vee.org/palacios/palacios.web/palacios.git
This will give you the master branch. You probably want the devel branch or one of the release branches. To switch to the devel branch, simply execute
  cd palacios
  git checkout --track -b devel origin/devel
The other branches are similar.


Merge branch 'devel'
[palacios.git] / kitten / include / lwk / spinlock_api_smp.h
1 #ifndef _LWK_SPINLOCK_API_SMP_H
2 #define _LWK_SPINLOCK_API_SMP_H
3
4 #ifndef _LWK_SPINLOCK_H
5 # error "please don't include this file directly"
6 #endif
7
8 /*
9  * include/lwk/spinlock_api_smp.h
10  *
11  * spinlock API declarations on SMP (and debug)
12  * (implemented in kernel/spinlock.c)
13  *
14  * portions Copyright 2005, Red Hat, Inc., Ingo Molnar
15  * Released under the General Public License (GPL).
16  */
17
18 int in_lock_functions(unsigned long addr);
19
20 #define assert_spin_locked(x)   BUG_ON(!spin_is_locked(x))
21
22 void __lockfunc _spin_lock(spinlock_t *lock)            __acquires(spinlock_t);
23 void __lockfunc _read_lock(rwlock_t *lock)              __acquires(rwlock_t);
24 void __lockfunc _write_lock(rwlock_t *lock)             __acquires(rwlock_t);
25 void __lockfunc _spin_lock_bh(spinlock_t *lock)         __acquires(spinlock_t);
26 void __lockfunc _read_lock_bh(rwlock_t *lock)           __acquires(rwlock_t);
27 void __lockfunc _write_lock_bh(rwlock_t *lock)          __acquires(rwlock_t);
28 void __lockfunc _spin_lock_irq(spinlock_t *lock)        __acquires(spinlock_t);
29 void __lockfunc _read_lock_irq(rwlock_t *lock)          __acquires(rwlock_t);
30 void __lockfunc _write_lock_irq(rwlock_t *lock)         __acquires(rwlock_t);
31 unsigned long __lockfunc _spin_lock_irqsave(spinlock_t *lock)
32                                                         __acquires(spinlock_t);
33 unsigned long __lockfunc _read_lock_irqsave(rwlock_t *lock)
34                                                         __acquires(rwlock_t);
35 unsigned long __lockfunc _write_lock_irqsave(rwlock_t *lock)
36                                                         __acquires(rwlock_t);
37 int __lockfunc _spin_trylock(spinlock_t *lock);
38 int __lockfunc _read_trylock(rwlock_t *lock);
39 int __lockfunc _write_trylock(rwlock_t *lock);
40 int __lockfunc _spin_trylock_bh(spinlock_t *lock);
41 void __lockfunc _spin_unlock(spinlock_t *lock)          __releases(spinlock_t);
42 void __lockfunc _read_unlock(rwlock_t *lock)            __releases(rwlock_t);
43 void __lockfunc _write_unlock(rwlock_t *lock)           __releases(rwlock_t);
44 void __lockfunc _spin_unlock_bh(spinlock_t *lock)       __releases(spinlock_t);
45 void __lockfunc _read_unlock_bh(rwlock_t *lock)         __releases(rwlock_t);
46 void __lockfunc _write_unlock_bh(rwlock_t *lock)        __releases(rwlock_t);
47 void __lockfunc _spin_unlock_irq(spinlock_t *lock)      __releases(spinlock_t);
48 void __lockfunc _read_unlock_irq(rwlock_t *lock)        __releases(rwlock_t);
49 void __lockfunc _write_unlock_irq(rwlock_t *lock)       __releases(rwlock_t);
50 void __lockfunc _spin_unlock_irqrestore(spinlock_t *lock, unsigned long flags)
51                                                         __releases(spinlock_t);
52 void __lockfunc _read_unlock_irqrestore(rwlock_t *lock, unsigned long flags)
53                                                         __releases(rwlock_t);
54 void __lockfunc _write_unlock_irqrestore(rwlock_t *lock, unsigned long flags)
55                                                         __releases(rwlock_t);
56
57 #endif /* _LWK_SPINLOCK_API_SMP_H */