94     xendevicemodel_handle *dmod, domid_t domid, uint32_t size, uint64_t src_gfn,  in xendevicemodel_relocate_memory()  argument
115     xendevicemodel_handle *dmod, domid_t domid, uint64_t start, uint64_t end,  in xendevicemodel_pin_memory_cacheattr()  argument
158 static inline int xendevicemodel_shutdown(xendevicemodel_handle *dmod,  in xendevicemodel_shutdown()  argument
182     xendevicemodel_handle *dmod, domid_t domid, int handle_bufioreq,  in xendevicemodel_create_ioreq_server()  argument
185     return xc_hvm_create_ioreq_server(dmod, domid, handle_bufioreq,  in xendevicemodel_create_ioreq_server()
190     xendevicemodel_handle *dmod, domid_t domid, ioservid_t id,  in xendevicemodel_get_ioreq_server_info()  argument
194     return xc_hvm_get_ioreq_server_info(dmod, domid, id, ioreq_pfn,  in xendevicemodel_get_ioreq_server_info()
199     xendevicemodel_handle *dmod, domid_t domid, ioservid_t id, int is_mmio,  in xendevicemodel_map_io_range_to_ioreq_server()  argument
202     return xc_hvm_map_io_range_to_ioreq_server(dmod, domid, id, is_mmio,  in xendevicemodel_map_io_range_to_ioreq_server()
207     xendevicemodel_handle *dmod, domid_t domid, ioservid_t id, int is_mmio,  in xendevicemodel_unmap_io_range_from_ioreq_server()  argument
210     return xc_hvm_unmap_io_range_from_ioreq_server(dmod, domid, id, is_mmio,  in xendevicemodel_unmap_io_range_from_ioreq_server()
215     xendevicemodel_handle *dmod, domid_t domid, ioservid_t id,  in xendevicemodel_map_pcidev_to_ioreq_server()  argument
218     return xc_hvm_map_pcidev_to_ioreq_server(dmod, domid, id, segment,  in xendevicemodel_map_pcidev_to_ioreq_server()
223     xendevicemodel_handle *dmod, domid_t domid, ioservid_t id,  in xendevicemodel_unmap_pcidev_from_ioreq_server()  argument
226     return xc_hvm_unmap_pcidev_from_ioreq_server(dmod, domid, id, segment,  in xendevicemodel_unmap_pcidev_from_ioreq_server()
231     xendevicemodel_handle *dmod, domid_t domid, ioservid_t id)  in xendevicemodel_destroy_ioreq_server()  argument
233     return xc_hvm_destroy_ioreq_server(dmod, domid, id);  in xendevicemodel_destroy_ioreq_server()
237     xendevicemodel_handle *dmod, domid_t domid, ioservid_t id, int enabled)  in xendevicemodel_set_ioreq_server_state()  argument
239     return xc_hvm_set_ioreq_server_state(dmod, domid, id, enabled);  in xendevicemodel_set_ioreq_server_state()
245     xendevicemodel_handle *dmod, domid_t domid, uint16_t segment,  in xendevicemodel_set_pci_intx_level()  argument
248     return xc_hvm_set_pci_intx_level(dmod, domid, segment, bus, device,  in xendevicemodel_set_pci_intx_level()
253     xendevicemodel_handle *dmod, domid_t domid, uint8_t irq,  in xendevicemodel_set_isa_irq_level()  argument
256     return xc_hvm_set_isa_irq_level(dmod, domid, irq, level);  in xendevicemodel_set_isa_irq_level()
260     xendevicemodel_handle *dmod, domid_t domid, uint8_t link, uint8_t irq)  in xendevicemodel_set_pci_link_route()  argument
262     return xc_hvm_set_pci_link_route(dmod, domid, link, irq);  in xendevicemodel_set_pci_link_route()
266     xendevicemodel_handle *dmod, domid_t domid, uint64_t msi_addr,  in xendevicemodel_inject_msi()  argument
269     return xc_hvm_inject_msi(dmod, domid, msi_addr, msi_data);  in xendevicemodel_inject_msi()
273     xendevicemodel_handle *dmod, domid_t domid, uint64_t first_pfn,  in xendevicemodel_track_dirty_vram()  argument
276     return xc_hvm_track_dirty_vram(dmod, domid, first_pfn, nr,  in xendevicemodel_track_dirty_vram()
281     xendevicemodel_handle *dmod, domid_t domid, uint64_t first_pfn,  in xendevicemodel_modified_memory()  argument
284     return xc_hvm_modified_memory(dmod, domid, first_pfn, nr);  in xendevicemodel_modified_memory()
288     xendevicemodel_handle *dmod, domid_t domid, hvmmem_type_t mem_type,  in xendevicemodel_set_mem_type()  argument
291     return xc_hvm_set_mem_type(dmod, domid, mem_type, first_pfn, nr);  in xendevicemodel_set_mem_type()