#include <oskit/x86/paging.h>void paging_enable(oskit_addr_t pdir);
Loads the processor page directory using pdir and turns on paging.The caller must already have created and initialized an appropriate initial page directory as described in Intel documentation. The OSKit provides convenient facilities that can be used to create x86 page directories and page tables; for more information, see Section 10.9.
This function assumes that pdir equivalently maps the physical memory that contains the currently executing code, the currently loaded GDT and IDT.