hpte_cache_flags_ok
if (!hpte_cache_flags_ok(r, is_ci)) {
if (ptep && !hpte_cache_flags_ok(ptel, is_ci)) {