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
|