Searched refs:newptp (Results 1 – 1 of 1) sorted by relevance
1122 x86pte_t newptp = MAKEPTP(new->ht_pfn, new->ht_level); in link_ptp() local1131 found = x86pte_cas(higher, entry, 0, newptp); in link_ptp()