src/core/paging.h


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

#ifndef PAGING_H
#define PAGING_H

#define PAGING_CR0_BIT 0x80000000
#define PAGING_DIR_LOCATION 0x1000
#define PAGING_TABLE_LOCATION 0x5000

/*
 * Configure and enable paging
 */
void paging_enable();

#endif