kvmgt_gfn_is_write_protected
if (kvmgt_gfn_is_write_protected(info, gfn))
if (!kvmgt_gfn_is_write_protected(info, gfn))
if (kvmgt_gfn_is_write_protected(info, gpa >> PAGE_SHIFT))
if (kvmgt_gfn_is_write_protected(info, gfn + i))
if (kvmgt_gfn_is_write_protected(info, gfn))