7 lines
193 B
C
7 lines
193 B
C
#include <stdint.h>
|
|
|
|
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);
|
|
void init_paging();
|