x86/HVM: add missing assert to stdvga's mmio_move()

... to match the IOREQ_READ path.

Signed-off-by: Jan Beulich <jbeulich@suse.com>
Acked-by: Keir Fraser <keir@xen.org>

diff --git a/xen/arch/x86/hvm/stdvga.c b/xen/arch/x86/hvm/stdvga.c
index 632b214eb6c1026be19956c08359efcd23cc6606..331fca0ff4f054899f9780d168d68040089e973e 100644 (file)
--- a/xen/arch/x86/hvm/stdvga.c
+++ b/xen/arch/x86/hvm/stdvga.c
@@ -519,6 +519,7 @@ static int mmio_move(struct hvm_hw_stdvga *s, ioreq_t *p)
                             put_page(dp);
                         return 0;
                     }
+                    ASSERT(!dp);
                     tmp = stdvga_mem_read(data, p->size);
                 }
                 stdvga_mem_write(addr, tmp, p->size);