src/include/source/paging.h


1
2
3
4
5
6
7
8
9
10
11

#ifndef SOURCE_PAGING_H
#define SOURCE_PAGING_H

#include<types.h>

void set_pd(void);
void set_pt(size_t num, uint32_t address);
void empty_pt(size_t num);
void set_paging(void);

#endif