kernel/include/paging.h


1
2
3
4
5
6
7
8
9

#ifndef PAGING_H
#define PAGING_H

#include <types.h>

void init_paging(void);
void page_fault(uint64_t error);

#endif