included walkpgdir

Used uint* instead of pte_t* to avoid a compiler error, but they are the same thing