Searched refs:num_pte_changed (Results 1 – 1 of 1) sorted by relevance
4093 int num_pte_changed; local4112 num_pte_changed = 0;4221 num_pte_changed++;4306 if (num_pte_changed > 0) {4310 return num_pte_changed;