Added whitelisting to MSR read/write code
[akaros.git] / kern / arch / x86 / types.h
index 50181ff..5341891 100644 (file)
@@ -1,5 +1,4 @@
-#ifndef ROS_INC_TYPES_H
-#define ROS_INC_TYPES_H
+#pragma once
 
 #include <stddef.h>
 #ifndef LITTLE_ENDIAN
@@ -26,23 +25,10 @@ typedef int pid_t;
 typedef int uid_t;
 typedef int gid_t;
 
-#ifdef CONFIG_X86_64
-
 #define NUM_ADDR_BITS 64
 #define BITS_PER_LONG 64
 #define MAX_VADDR     ((uint64_t)(~0) >> (64-NUM_ADDR_BITS))
 typedef uint64_t uintptr_t;
 #define PAGE_SHIFT 12
-
-#else /* 32 bit */
-
-#define NUM_ADDR_BITS 32
-#define BITS_PER_LONG 32
-#define MAX_VADDR     ((uint64_t)(~0) >> (64-NUM_ADDR_BITS))
-typedef uint32_t uintptr_t;
-
-#define PAGE_SHIFT 12
-#endif /* 64bit / 32bit */
-
-
-#endif /* !ROS_INC_TYPES_H */
+#define PAGE_SIZE (1<<PAGE_SHIFT)
+#define PAGE_MASK 0xFFFFFFFFfffff000