9452 ptable_dcmd() needs a little cleanup

@@ -833,11 +833,10 @@
         uintptr_t base;
         int h;
         int entry;
         uintptr_t pagesize;
         x86pte_t pte;
-        x86pte_t buf;
         physaddr_t paddr;
         size_t len;
 
         /*
          * The hats are kept in a list with khat at the head.

@@ -897,15 +896,14 @@
                 pagesize = mmu.level_size[level];
         }
 
         paddr = mmu_ptob((physaddr_t)pfn);
         for (entry = 0; entry < mmu.ptes_per_table; ++entry) {
-                len = mdb_pread(&buf, mmu.pte_size,
+                len = mdb_pread(&pte, mmu.pte_size,
                     paddr + entry * mmu.pte_size);
                 if (len != mmu.pte_size)
                         return (DCMD_ERR);
-                        pte = buf;
 
                 if (pte == 0)
                         continue;
 
                 mdb_printf("[%3d] va=0x%p ", entry,