#ifndef _ARCH_H_
#define _ARCH_H_
-#include <stdint.h>
-#define KERNEL_BASE 0xFFFF8000##00000000
+//#include <stdint.h>
+//#define KERNEL_BASE 0xFFFF8000##00000000
+#define KERNEL_BASE 0xFFFFFFFF##80000000
#define BITS 64
// === Core Types ===
typedef unsigned long long int Uint64;
#endif
+typedef Sint64 Sint;
typedef Uint64 Uint;
typedef Uint64 tPAddr;
typedef Uint64 tVAddr;