36 typedef xc_interface xendevicemodel_handle;  typedef
48     xendevicemodel_handle *dmod, domid_t domid, uint32_t size, uint64_t src_gfn,  in xendevicemodel_relocate_memory()
69     xendevicemodel_handle *dmod, domid_t domid, uint64_t start, uint64_t end,  in xendevicemodel_pin_memory_cacheattr()
118 static inline int xendevicemodel_shutdown(xendevicemodel_handle *dmod,  in xendevicemodel_shutdown()
133 static inline xendevicemodel_handle *xendevicemodel_open(  in xendevicemodel_open()
140     xendevicemodel_handle *dmod, domid_t domid, int handle_bufioreq,  in xendevicemodel_create_ioreq_server()
148     xendevicemodel_handle *dmod, domid_t domid, ioservid_t id,  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()
165     xendevicemodel_handle *dmod, domid_t domid, ioservid_t id, int 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()
181     xendevicemodel_handle *dmod, domid_t domid, ioservid_t id,  in xendevicemodel_unmap_pcidev_from_ioreq_server()
189     xendevicemodel_handle *dmod, domid_t domid, ioservid_t id)  in xendevicemodel_destroy_ioreq_server()
195     xendevicemodel_handle *dmod, domid_t domid, ioservid_t id, int enabled)  in xendevicemodel_set_ioreq_server_state()
201     xendevicemodel_handle *dmod, domid_t domid, uint16_t segment,  in xendevicemodel_set_pci_intx_level()
209     xendevicemodel_handle *dmod, domid_t domid, uint8_t irq,  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()
222     xendevicemodel_handle *dmod, domid_t domid, uint64_t msi_addr,  in xendevicemodel_inject_msi()
229     xendevicemodel_handle *dmod, domid_t domid, uint64_t first_pfn,  in xendevicemodel_track_dirty_vram()
237     xendevicemodel_handle *dmod, domid_t domid, uint64_t first_pfn,  in xendevicemodel_modified_memory()
244     xendevicemodel_handle *dmod, domid_t domid, hvmmem_type_t mem_type,  in xendevicemodel_set_mem_type()
252 extern xendevicemodel_handle *xen_dmod;
527 static inline int xendevicemodel_set_irq_level(xendevicemodel_handle *dmod,  in xendevicemodel_set_irq_level()