debugging page table structures