27 #ifndef _LIBCPU_AMD64_PAGE_H 28 #define _LIBCPU_AMD64_PAGE_H 32 #define NUM_PAGE_TABLE_ENTRIES 512 34 extern uint64_t amd64_pml4[NUM_PAGE_TABLE_ENTRIES];
35 extern uint64_t amd64_pdpt[NUM_PAGE_TABLE_ENTRIES];
37 bool paging_1gib_pages_supported(
void);
38 uint8_t get_maxphysaddr(
void);
39 uint64_t get_mask_for_bits(uint8_t start, uint8_t end);
40 uint64_t create_cr3_entry(
41 uint64_t phys_addr, uint8_t maxphysaddr, uint64_t flags
43 uint64_t create_pml4_entry(
44 uint64_t phys_addr, uint8_t maxphysaddr, uint64_t flags
46 uint64_t create_pdpt_entry(
47 uint64_t phys_addr, uint8_t maxphysaddr, uint64_t flags
50 void paging_init(
void);
52 #define PAGE_FLAGS_PRESENT (1 << 0) 53 #define PAGE_FLAGS_WRITABLE (1 << 1) 54 #define PAGE_FLAGS_USER_ACCESSIBLE (1 << 2) 55 #define PAGE_FLAGS_WRITE_THROUGH (1 << 3) 56 #define PAGE_FLAGS_NO_CACHE (1 << 4) 57 #define PAGE_FLAGS_ACCESSED (1 << 5) 58 #define PAGE_FLAGS_DIRTY (1 << 6) 59 #define PAGE_FLAGS_HUGE_PAGE (1 << 7) 60 #define PAGE_FLAGS_GLOBAL (1 << 8) 61 #define PAGE_FLAGS_NO_EXECUTE (1 << 63) 63 #define PAGE_FLAGS_DEFAULTS \ 64 (PAGE_FLAGS_PRESENT | PAGE_FLAGS_WRITABLE | PAGE_FLAGS_USER_ACCESSIBLE \ 65 | PAGE_FLAGS_WRITE_THROUGH | PAGE_FLAGS_NO_CACHE | PAGE_FLAGS_GLOBAL)