Searched refs:temp_ptep (Results 1 – 2 of 2) sorted by relevance
4423 pt_entry_t *temp_ptep = pve_get_ptep(pve_p, pve_ptep_idx); local4436 pve_set_ptep(pve_p, pve_ptep_idx, temp_ptep);
4935 pt_entry_t *temp_ptep = pve_get_ptep(pve_p, pve_ptep_idx); local4948 pve_set_ptep(pve_p, pve_ptep_idx, temp_ptep);