xendevicemodel_set_pci_intx_level(dm, 0, 0, 0, 0, 0);
xendevicemodel_populate_ram(dm, 0, 0);
xendevicemodel_create_ioreq_server(dm, 1, NULL);
+ xendevicemodel_mark_memory_region_dirty(dm, 0, 0);
return 0;
}
EOF
#define xendevicemodel_inject_msi(h, a, d) \
xc_hvm_inject_msi(h, xen_domid, a, d)
+#define xendevicemodel_mark_memory_region_dirty(h, s, n) \
+ xc_hvm_modified_memory(h, xen_domid, s, n)
+
#if CONFIG_XEN_CTRL_INTERFACE_VERSION >= 450
#define xendevicemodel_create_ioreq_server(h, b, i) \
start_pfn = start >> TARGET_PAGE_BITS;
nb_pages = ((start + length + TARGET_PAGE_SIZE - 1) >> TARGET_PAGE_BITS)
- start_pfn;
- rc = xc_hvm_modified_memory(xen_xc, xen_domid, start_pfn, nb_pages);
+ rc = xendevicemodel_mark_memory_region_dirty(xen_dm, start_pfn, nb_pages);
if (rc) {
fprintf(stderr,
"%s failed for "RAM_ADDR_FMT" ("RAM_ADDR_FMT"): %i, %s\n",