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 bc4e0af..0afc51d 100644 (file)
--- a/Kernel/arch/x86/include/arch.h
+++ b/Kernel/arch/x86/include/arch.h
@@ -51,6 +51,7 @@
 #endif
 
 // === MACROS ===
+typedef volatile int   tSpinlock;
 #define LOCK(lockptr)  do {int v=1;\
        while(v)__asm__ __volatile__("lock xchgl %%eax, (%%edi)":"=a"(v):"a"(1),"D"(lockptr));}while(0)
 #define        RELEASE(lockptr)        __asm__ __volatile__("lock andl $0, (%%edi)"::"D"(lockptr));
@@ -69,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;
@@ -134,7 +129,4 @@ typedef struct {
        Uint    EIP, ESP, EBP;
 } tTaskState;
 
-// --- Interface Flags & Macros
-#define CLONE_VM       0x10
-
 #endif // !defined(_ARCH_H_)