blob: 94b7260f5d9db460ed844a072af0533d5bf550c3 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
/**
* @file paging.h
*
* @author Freya Murphy <freya@freyacat.org>
*
* 64-bit paging functions
*/
#ifndef PAGING_H_
#define PAGING_H_
#include <stdbool.h>
void paging_init(void);
volatile void *pgdir_alloc(void);
volatile void *pgdir_clone(volatile const void *pdir, bool cow);
void pgdir_free(volatile void *addr);
#endif /* paging.h */
|
