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