From 292e4141078d18993b1395820631503ac852eb3d Mon Sep 17 00:00:00 2001 From: Alex Auvolat Date: Thu, 4 Dec 2014 10:43:58 +0100 Subject: Make paging work ! \o/ --- kernel/include/sys.h | 11 +++++++++++ 1 file changed, 11 insertions(+) (limited to 'kernel/include/sys.h') diff --git a/kernel/include/sys.h b/kernel/include/sys.h index a9d2d4c..ff98c60 100644 --- a/kernel/include/sys.h +++ b/kernel/include/sys.h @@ -22,6 +22,10 @@ static inline uint16_t inw(uint16_t port) { return ret; } +static inline void invlpg(size_t addr) { + asm volatile("invlpg (%0)" : : "r"(addr) : "memory"); +} + void panic(const char* message, const char* file, int line); void panic_assert(const char* assertion, const char* file, int line); #define PANIC(s) panic(s, __FILE__, __LINE__); @@ -37,6 +41,13 @@ void panic_assert(const char* assertion, const char* file, int line); #define PAGE_ALIGN_DOWN(x) (((size_t)x) & PAGE_MASK) #define PAGE_ALIGN_UP(x) ((((size_t)x)&(~PAGE_MASK)) == 0 ? ((size_t)x) : (((size_t)x) & PAGE_MASK) + PAGE_SIZE) #define PAGE_ID(x) (((size_t)x) / PAGE_SIZE) +#define PAGE_SHIFT 12 +#define PT_SHIFT 10 +// PAGE_SHIFT + PT_SHIFT + PT_SHIFT = 32 +#define N_PAGES_IN_PT 1024 +#define PD_MIRROR_ADDR 0xFFC00000 // last 4MB used for PD mirroring +#define LAST_KERNEL_ADDR PD_MIRROR_ADDR +#define FIRST_KERNEL_PT (K_HIGHHALF_ADDR >> (PAGE_SHIFT+PT_SHIFT)) // must be 768 #define MASK4 0xFFFFFFFC #define ALIGN4_UP(x) ((((size_t)x)&(~MASK4)) == 0 ? ((size_t)x) : (((size_t)x) & MASK4) + 4) -- cgit v1.2.3