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 / arch-x86_64 / spinlock_types.h
1 #ifndef _X86_64_SPINLOCK_TYPES_H
2 #define _X86_64_SPINLOCK_TYPES_H
3
4 #ifndef _LWK_SPINLOCK_TYPES_H
5 # error "please don't include this file directly"
6 #endif
7
8 typedef struct {
9         volatile unsigned int slock;
10 } raw_spinlock_t;
11
12 #define __RAW_SPIN_LOCK_UNLOCKED        { 1 }
13
14 typedef struct {
15         volatile unsigned int lock;
16 } raw_rwlock_t;
17
18 #define __RAW_RW_LOCK_UNLOCKED          { RW_LOCK_BIAS }
19
20 #endif