#include "pagetable.h"

void test_page_walk()
{
}