229     xendevicemodel_handle *dmod, domid_t domid, uint64_t first_pfn,  in xendevicemodel_track_dirty_vram()  argument
232     return xc_hvm_track_dirty_vram(dmod, domid, first_pfn, nr,  in xendevicemodel_track_dirty_vram()
237     xendevicemodel_handle *dmod, domid_t domid, uint64_t first_pfn,  in xendevicemodel_modified_memory()  argument
240     return xc_hvm_modified_memory(dmod, domid, first_pfn, nr);  in xendevicemodel_modified_memory()
245     uint64_t first_pfn, uint32_t nr)  in xendevicemodel_set_mem_type()  argument
247     return xc_hvm_set_mem_type(dmod, domid, mem_type, first_pfn, nr);  in xendevicemodel_set_mem_type()
255                                    uint64_t first_pfn, uint32_t nr)  in xen_set_mem_type()  argument
257     return xendevicemodel_set_mem_type(xen_dmod, domid, type, first_pfn,  in xen_set_mem_type()
281 static inline int xen_track_dirty_vram(domid_t domid, uint64_t first_pfn,  in xen_track_dirty_vram()  argument
284     return xendevicemodel_track_dirty_vram(xen_dmod, domid, first_pfn, nr,  in xen_track_dirty_vram()
288 static inline int xen_modified_memory(domid_t domid, uint64_t first_pfn,  in xen_modified_memory()  argument
291     return xendevicemodel_modified_memory(xen_dmod, domid, first_pfn, nr);  in xen_modified_memory()