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 / types.h
1 #ifndef _X86_64_TYPES_H
2 #define _X86_64_TYPES_H
3
4 #ifndef __ASSEMBLY__
5
6 typedef unsigned short umode_t;
7
8 /*
9  * __xx is ok: it doesn't pollute the POSIX namespace. Use these in the
10  * header files exported to user space
11  */
12
13 typedef __signed__ char __s8;
14 typedef unsigned char __u8;
15
16 typedef __signed__ short __s16;
17 typedef unsigned short __u16;
18
19 typedef __signed__ int __s32;
20 typedef unsigned int __u32;
21
22 typedef __signed__ long long __s64;
23 typedef unsigned long long  __u64;
24
25 #endif /* __ASSEMBLY__ */
26
27 /*
28  * These aren't exported outside the kernel to avoid name space clashes
29  */
30 #ifdef __KERNEL__
31
32 #define BITS_PER_LONG 64
33
34 #ifndef __ASSEMBLY__
35
36 typedef signed char s8;
37 typedef unsigned char u8;
38
39 typedef signed short s16;
40 typedef unsigned short u16;
41
42 typedef signed int s32;
43 typedef unsigned int u32;
44
45 typedef signed long long s64;
46 typedef unsigned long long u64;
47
48 typedef u64 dma64_addr_t;
49 typedef u64 dma_addr_t;
50
51 #endif /* __ASSEMBLY__ */
52
53 #endif /* __KERNEL__ */
54
55 #endif