hpte_is_writable
(!hpte_is_writable(hptep1) || vcpus_running(kvm)))
if (hpte_is_writable(r) && !write_ok)
if (page && hpte_is_writable(r))
writing = hpte_is_writable(ptel);
if (hpte_is_writable(r) && !hpte_is_writable(pte_r))