on second thought, pointers int checkTLB and checkPageTable might not be getting set right