blob: 7217427547dd384e60163a9f23c25f0629857a6c (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
#include <stdint.h>
#define PGENT 1024
typedef uint32_t pte_t;
typedef uint32_t __attribute__((aligned (4096))) ptab_t[PGENT];
typedef uint32_t pde_t;
typedef uint32_t __attribute__((aligned (4096))) pdir_t[PGENT];
extern ptab_t ktab;
void *alloc_physical_page(void);
int free_physical_page(void*);
void *alloc_physical_pages(unsigned int);
void *map_page(void*);
void paging_init(void);
|
