MMU_PTE_PA
pa = MMU_PTE_PA(*pte);
c_pte = mmu_ptov(MMU_PTE_PA(*b_dte));
if (MMU_PTE_PA(*c_pte) == pa) {
old_pa = MMU_PTE_PA(*pte);
*pap = MMU_PTE_PA(*pte);
*pap = MMU_PTE_PA(*c_pte);