Build gcc with USE_PT_GNU_EH_FRAME (XCC)
[akaros.git] / kern / arch / x86 / types.h
index 5341891..a561b2f 100644 (file)
@@ -29,6 +29,7 @@ typedef int gid_t;
 #define BITS_PER_LONG 64
 #define MAX_VADDR     ((uint64_t)(~0) >> (64-NUM_ADDR_BITS))
 typedef uint64_t uintptr_t;
+typedef int64_t intptr_t;
 #define PAGE_SHIFT 12
 #define PAGE_SIZE (1<<PAGE_SHIFT)
 #define PAGE_MASK 0xFFFFFFFFfffff000