27#ifndef _LIBCPU_AMD64_PAGE_H
28#define _LIBCPU_AMD64_PAGE_H
32#define NUM_PAGE_TABLE_ENTRIES 512
34extern uint64_t amd64_pml4[NUM_PAGE_TABLE_ENTRIES];
35extern uint64_t amd64_pdpt[NUM_PAGE_TABLE_ENTRIES];
37bool paging_1gib_pages_supported(
void);
38uint8_t get_maxphysaddr(
void);
39uint64_t get_mask_for_bits(uint8_t start, uint8_t end);
40uint64_t create_cr3_entry(
41 uint64_t phys_addr, uint8_t maxphysaddr, uint64_t flags
43uint64_t create_pml4_entry(
44 uint64_t phys_addr, uint8_t maxphysaddr, uint64_t flags
46uint64_t create_pdpt_entry(
47 uint64_t phys_addr, uint8_t maxphysaddr, uint64_t flags
50void 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)