pte_mfn
return XMADDR(((phys_addr_t)pte_mfn(*pte) << PAGE_SHIFT) + offset);
mfn = pte_mfn(*ptep);
mfn = pte_mfn(*pte);