[xen staging] x86/shadow: reduce explicit log-dirty recording for HVM

[patchbot@xxxxxxx]

commit ff78502db07d0c18aa7e1db6b03b59432229d0d0
Author:     Jan Beulich <jbeulich@xxxxxxxx>
AuthorDate: Mon Feb 23 08:37:13 2026 +0100
Commit:     Jan Beulich <jbeulich@xxxxxxxx>
CommitDate: Mon Feb 23 08:37:13 2026 +0100

    x86/shadow: reduce explicit log-dirty recording for HVM
    
    validate_guest_pt_write(), by calling sh_validate_guest_entry(), already
    guarantees the needed update of log-dirty information. Move the
    operation into the sole code path needing it (when SHOPT_SKIP_VERIFY is
    enabled), making clear that only one such call is needed.
    
    Signed-off-by: Jan Beulich <jbeulich@xxxxxxxx>
    Acked-by: Andrew Cooper <andrew.cooper3@xxxxxxxxxx>
---
 xen/arch/x86/mm/shadow/hvm.c | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/xen/arch/x86/mm/shadow/hvm.c b/xen/arch/x86/mm/shadow/hvm.c
index bfc81b680a..7b3b58119c 100644
--- a/xen/arch/x86/mm/shadow/hvm.c
+++ b/xen/arch/x86/mm/shadow/hvm.c
@@ -665,6 +665,7 @@ static void sh_emulate_unmap_dest(struct vcpu *v, void 
*addr,
     {
         /* Writes with this alignment constraint can't possibly cross pages. */
         ASSERT(!mfn_valid(sh_ctxt->mfn[1]));
+        paging_mark_dirty(v->domain, sh_ctxt->mfn[0]);
     }
     else
 #endif /* SHADOW_OPTIMIZATIONS & SHOPT_SKIP_VERIFY */
@@ -682,12 +683,10 @@ static void sh_emulate_unmap_dest(struct vcpu *v, void 
*addr,
             validate_guest_pt_write(v, sh_ctxt->mfn[1], addr + b1, b2);
     }
 
-    paging_mark_dirty(v->domain, sh_ctxt->mfn[0]);
     put_page(mfn_to_page(sh_ctxt->mfn[0]));
 
     if ( unlikely(mfn_valid(sh_ctxt->mfn[1])) )
     {
-        paging_mark_dirty(v->domain, sh_ctxt->mfn[1]);
         put_page(mfn_to_page(sh_ctxt->mfn[1]));
         vunmap((void *)((unsigned long)addr & PAGE_MASK));
     }
--
generated by git-patchbot for /home/xen/git/xen.git#staging