Searched refs:temp_ptep (Results 1 – 1 of 1) sorted by relevance
4810 pt_entry_t *temp_ptep = pve_get_ptep(pve_p, pve_ptep_idx); local4823 pve_set_ptep(pve_p, pve_ptep_idx, temp_ptep);