Changed the x86 architecture to have tPAddr be 64-bits always

[tpg/acess2.git] / Kernel / arch / x86 / include / arch.h

diff --git a/Kernel/arch/x86/include/arch.h b/Kernel/arch/x86/include/arch.h
index 92ccf05..0afc51d 100644 (file)
--- a/Kernel/arch/x86/include/arch.h
+++ b/Kernel/arch/x86/include/arch.h
@@ -70,15 +70,9 @@ typedef signed long          Sint32;
 typedef signed long long       Sint64;
 typedef Uint   size_t;
 
-#if USE_PAE
 typedef Uint64 tPAddr;
-#else
-typedef Uint32 tPAddr;
-#endif
 typedef Uint32 tVAddr;
 
-typedef void (*tThreadFunction)(void*);
-
 typedef struct {
     Uint       gs, fs, es, ds;
     Uint       edi, esi, ebp, kesp;
@@ -135,7 +129,4 @@ typedef struct {
        Uint    EIP, ESP, EBP;
 } tTaskState;
 
-// --- Interface Flags & Macros
-#define CLONE_VM       0x10
-
 #endif // !defined(_ARCH_H_)