bootloader/paging.h


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17

#ifndef PAGING_H
#define PAGING_H

#include <stdint.h>

uint64_t GetNextEntry();
void initCR3();
void printCR3();
void writeCR3();
void SetVirtualAddress(uint64_t phy, uint64_t virt);
uint8_t checkIdentity(uint64_t phy);


//void * SetPagingStructs();

#endif // PAGING_H