__pte_flags_need_flush
return __pte_flags_need_flush(pte_val(oldpte), pte_val(newpte));
return __pte_flags_need_flush(pmd_val(oldpmd), pmd_val(newpmd));
return __pte_flags_need_flush(pte_val(oldpte), pte_val(newpte));
return __pte_flags_need_flush(pmd_val(oldpmd), pmd_val(newpmd));