An x64 page table iterator written in C++ as a kernel mode windows driver. - View it on GitHub