diff options
author | kaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk> | 2006-05-19 16:52:52 +0100 |
---|---|---|
committer | kaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk> | 2006-05-19 16:52:52 +0100 |
commit | 0306a3dcf80671190f188e9c9d3e4c98ba433113 (patch) | |
tree | 2d63ed08ad791cfff6194035ebc433a4b931d31b /extras/mini-os/include/types.h | |
parent | 71fd91f9bacb0d3a625e12f959c0fa1e922fdd99 (diff) | |
download | xen-0306a3dcf80671190f188e9c9d3e4c98ba433113.tar.gz xen-0306a3dcf80671190f188e9c9d3e4c98ba433113.tar.bz2 xen-0306a3dcf80671190f188e9c9d3e4c98ba433113.zip |
[MINIOS] PAE support.
Signed-off-by: Aravindh Puthiyaparambil <aravindh.puthiyaparambil@unisys.com>
Diffstat (limited to 'extras/mini-os/include/types.h')
-rw-r--r-- | extras/mini-os/include/types.h | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/extras/mini-os/include/types.h b/extras/mini-os/include/types.h index 8194fba3c0..f6f3f94b03 100644 --- a/extras/mini-os/include/types.h +++ b/extras/mini-os/include/types.h @@ -43,14 +43,19 @@ typedef long long quad_t; typedef unsigned long long u_quad_t; typedef unsigned int uintptr_t; +#if !defined(CONFIG_X86_PAE) typedef struct { unsigned long pte_low; } pte_t; +#else +typedef struct { unsigned long pte_low, pte_high; } pte_t; +#endif /* CONFIG_X86_PAE */ + #elif defined(__x86_64__) typedef long quad_t; typedef unsigned long u_quad_t; typedef unsigned long uintptr_t; typedef struct { unsigned long pte; } pte_t; -#endif +#endif /* __i386__ || __x86_64__ */ typedef u8 uint8_t; typedef s8 int8_t; |