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