2023-01-31 21:26:43 -06:00
|
|
|
#include <stdint.h>
|
|
|
|
|
2024-01-07 22:33:27 -06:00
|
|
|
void free_pages(uint16_t page_dir_idx);
|
|
|
|
uintptr_t add_pages(char access_flags);
|
|
|
|
void move_pages(uint16_t src_page_dir_idx, uint16_t dest_page_dir_idx);
|
2023-01-31 21:26:43 -06:00
|
|
|
void init_paging();
|