extern void loadPageDirectory(uint32_t*);
extern void enablePaging(void);