blob: 11578c2fff319ef4dbd59a32c2351c59c2bc1848 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
#ifndef __PAGING_H
#define __PAGING_H
#include <stdint.h>
typedef uint32_t Page_Directory;
typedef uint32_t Page_Table;
Page_Directory make_pagedir(Page_Table *addr, uint8_t flags);
Page_Directory make_pagetable(uint32_t addr, uint8_t flags);
void *get_physaddr(void *virtualaddr);
void map_page(void *physaddr, void *virtualaddr, uint8_t flags);
void genDirs();
void *kalloc_init();
#endif // !__PAGING_H
|
