48     xendevicemodel_handle *dmod, domid_t domid, uint32_t size, uint64_t src_gfn,  in xendevicemodel_relocate_memory()  argument
69     xendevicemodel_handle *dmod, domid_t domid, uint64_t start, uint64_t end,  in xendevicemodel_pin_memory_cacheattr()  argument
118 static inline int xendevicemodel_shutdown(xendevicemodel_handle *dmod,  in xendevicemodel_shutdown()  argument
140     xendevicemodel_handle *dmod, domid_t domid, int handle_bufioreq,  in xendevicemodel_create_ioreq_server()  argument
143     return xc_hvm_create_ioreq_server(dmod, domid, handle_bufioreq,  in xendevicemodel_create_ioreq_server()
148     xendevicemodel_handle *dmod, domid_t domid, ioservid_t id,  in xendevicemodel_get_ioreq_server_info()  argument
152     return xc_hvm_get_ioreq_server_info(dmod, domid, id, ioreq_pfn,  in xendevicemodel_get_ioreq_server_info()
157     xendevicemodel_handle *dmod, domid_t domid, ioservid_t id, int is_mmio,  in xendevicemodel_map_io_range_to_ioreq_server()  argument
160     return xc_hvm_map_io_range_to_ioreq_server(dmod, domid, id, is_mmio,  in xendevicemodel_map_io_range_to_ioreq_server()
165     xendevicemodel_handle *dmod, domid_t domid, ioservid_t id, int is_mmio,  in xendevicemodel_unmap_io_range_from_ioreq_server()  argument
168     return xc_hvm_unmap_io_range_from_ioreq_server(dmod, domid, id, is_mmio,  in xendevicemodel_unmap_io_range_from_ioreq_server()
173     xendevicemodel_handle *dmod, domid_t domid, ioservid_t id,  in xendevicemodel_map_pcidev_to_ioreq_server()  argument
176     return xc_hvm_map_pcidev_to_ioreq_server(dmod, domid, id, segment,  in xendevicemodel_map_pcidev_to_ioreq_server()
181     xendevicemodel_handle *dmod, domid_t domid, ioservid_t id,  in xendevicemodel_unmap_pcidev_from_ioreq_server()  argument
184     return xc_hvm_unmap_pcidev_from_ioreq_server(dmod, domid, id, segment,  in xendevicemodel_unmap_pcidev_from_ioreq_server()
189     xendevicemodel_handle *dmod, domid_t domid, ioservid_t id)  in xendevicemodel_destroy_ioreq_server()  argument
191     return xc_hvm_destroy_ioreq_server(dmod, domid, id);  in xendevicemodel_destroy_ioreq_server()
195     xendevicemodel_handle *dmod, domid_t domid, ioservid_t id, int enabled)  in xendevicemodel_set_ioreq_server_state()  argument
197     return xc_hvm_set_ioreq_server_state(dmod, domid, id, enabled);  in xendevicemodel_set_ioreq_server_state()
201     xendevicemodel_handle *dmod, domid_t domid, uint16_t segment,  in xendevicemodel_set_pci_intx_level()  argument
204     return xc_hvm_set_pci_intx_level(dmod, domid, segment, bus, device,  in xendevicemodel_set_pci_intx_level()
209     xendevicemodel_handle *dmod, domid_t domid, uint8_t irq,  in xendevicemodel_set_isa_irq_level()  argument
212     return xc_hvm_set_isa_irq_level(dmod, domid, irq, level);  in xendevicemodel_set_isa_irq_level()
216     xendevicemodel_handle *dmod, domid_t domid, uint8_t link, uint8_t irq)  in xendevicemodel_set_pci_link_route()  argument
218     return xc_hvm_set_pci_link_route(dmod, domid, link, irq);  in xendevicemodel_set_pci_link_route()
222     xendevicemodel_handle *dmod, domid_t domid, uint64_t msi_addr,  in xendevicemodel_inject_msi()  argument
225     return xc_hvm_inject_msi(dmod, domid, msi_addr, msi_data);  in xendevicemodel_inject_msi()
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()
244     xendevicemodel_handle *dmod, domid_t domid, hvmmem_type_t mem_type,  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()
528 static inline int xendevicemodel_set_irq_level(xendevicemodel_handle *dmod,  in xendevicemodel_set_irq_level()  argument