kernel/memory/paging.h


1
2
3
4
5
6
7
8
9
10
11
12
13
14

/**
 * @file paging.h
 *
 * @author Freya Murphy <freya@freyacat.org>
 *
 * 64-bit paging functions
 */

#ifndef PAGING_H_
#define PAGING_H_

void paging_init(void);

#endif /* paging.h */