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