PTE2PFN
if (PTE2PFN(old_pte, l) != PTE2PFN(pte, l)) {
REMAPASSERT(pf_is_memory(PTE2PFN(old_pte, l)) ==
pf_is_memory(PTE2PFN(pte, l)));
pfn = PTE2PFN(old_pte, l);
if (PTE_ISVALID(old_pte) && PTE2PFN(old_pte, l) == pfn)
pp = page_numtopp_nolock(PTE2PFN(pte, ht->ht_level));
pp = page_numtopp_nolock(PTE2PFN(oldpte, ht->ht_level));
pfn = PTE2PFN(pte, 0);
pfn = PTE2PFN(x86pte_get(ht, entry), ht->ht_level);
pfn = PTE2PFN(pte, ism_ht->ht_level);
if (PTE2PFN(old, ht->ht_level) != pp->p_pagenum ||
if (PTE2PFN(old_pte, ht->ht_level) != pfn) {
ASSERT(PTE2PFN(old, ht->ht_level) == pp->p_pagenum);
ASSERT(!pfn_is_foreign(PTE2PFN(expected, ht->ht_level)));
pp = page_numtopp_nolock(PTE2PFN(expected, ht->ht_level));
ht, PTE2PFN(pte, level));
*pfn = PTE2PFN(pte_val, l);