Searched refs:num_pte_changed (Results 1 – 1 of 1) sorted by relevance
4085 int num_pte_changed; local4104 num_pte_changed = 0;4213 num_pte_changed++;4298 if (num_pte_changed > 0) {4302 return num_pte_changed;