11 lines
109 B
C
11 lines
109 B
C
|
#ifndef PAGING_H
|
||
|
|
#define PAGING_H
|
||
|
|
|
||
|
|
#include <stdint.h>
|
||
|
|
|
||
|
|
#define NUM_KERN_DIRS 4
|
||
|
|
|
||
|
|
void paging_init();
|
||
|
|
|
||
|
|
#endif
|