1 files changed, 0 insertions, 28 deletions
diff --git a/arch/x86_64/paging.h b/arch/x86_64/paging.h
deleted file mode 100644
index 28dfad2..0000000
--- a/arch/x86_64/paging.h
+++ /dev/null
@@ -1,28 +0,0 @@
-#ifndef JOVE_ARCH_x86_64_PAGING_H
-#define JOVE_ARCH_x86_64_PAGING_H 1
-
-#include <stdint.h>
-
-typedef union PageMappingLevelEntry
-{
-    struct {
-        uint8_t p : 1; /* Present */
-        uint8_t rw : 1; /* Read/write. 0 for RO.*/
-        uint8_t us : 1; /* User/supervisor. 0 for DPL3 forbid */
-        uint8_t pwt : 1;
-        uint8_t pcd : 1;
-        uint8_t a : 1; /* Accessed */
-        uint8_t d : 1; /* Dirty */
-        uint8_t ps_pat : 1;
-        uint8_t g : 1; /* Global */
-        uint8_t _r0 : 2;
-        uint8_t r : 1;
-        uint64_t paddr : 35;
-        uint8_t _r1;
-        uint8_t pk : 4;
-        uint8_t xd : 1;
-    }__attribute__((packed));
-    uint64_t value;
-} __attribute__((packed)) pmle_t;
-
-#endif