Searched refs:num_pte_changed (Results 1 – 1 of 1) sorted by relevance
4045 int num_pte_changed; local4064 num_pte_changed = 0;4173 num_pte_changed++;4253 if (num_pte_changed > 0) {4257 return num_pte_changed;