1 2 3
#include "paging.h" // TODO: write a frame page allocator to allocate page tables into virtual // memory