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