367                                           ioservid_t ioservid,  in xen_map_memory_section()  argument
378     trace_xen_map_mmio_range(ioservid, start_addr, end_addr);  in xen_map_memory_section()
379     xendevicemodel_map_io_range_to_ioreq_server(xen_dmod, dom, ioservid, 1,  in xen_map_memory_section()
384                                             ioservid_t ioservid,  in xen_unmap_memory_section()  argument
395     trace_xen_unmap_mmio_range(ioservid, start_addr, end_addr);  in xen_unmap_memory_section()
396     xendevicemodel_unmap_io_range_from_ioreq_server(xen_dmod, dom, ioservid,  in xen_unmap_memory_section()
401                                       ioservid_t ioservid,  in xen_map_io_section()  argument
412     trace_xen_map_portio_range(ioservid, start_addr, end_addr);  in xen_map_io_section()
413     xendevicemodel_map_io_range_to_ioreq_server(xen_dmod, dom, ioservid, 0,  in xen_map_io_section()
418                                         ioservid_t ioservid,  in xen_unmap_io_section()  argument
429     trace_xen_unmap_portio_range(ioservid, start_addr, end_addr);  in xen_unmap_io_section()
430     xendevicemodel_unmap_io_range_from_ioreq_server(xen_dmod, dom, ioservid,  in xen_unmap_io_section()
435                                   ioservid_t ioservid,  in xen_map_pcidev()  argument
442     trace_xen_map_pcidev(ioservid, pci_dev_bus_num(pci_dev),  in xen_map_pcidev()
444     xendevicemodel_map_pcidev_to_ioreq_server(xen_dmod, dom, ioservid, 0,  in xen_map_pcidev()
451                                     ioservid_t ioservid,  in xen_unmap_pcidev()  argument
458     trace_xen_unmap_pcidev(ioservid, pci_dev_bus_num(pci_dev),  in xen_unmap_pcidev()
460     xendevicemodel_unmap_pcidev_from_ioreq_server(xen_dmod, dom, ioservid, 0,  in xen_unmap_pcidev()
467                                           ioservid_t *ioservid)  in xen_create_ioreq_server()  argument
471                                                 ioservid);  in xen_create_ioreq_server()
474         trace_xen_ioreq_server_create(*ioservid);  in xen_create_ioreq_server()
478     *ioservid = 0;  in xen_create_ioreq_server()
486                                             ioservid_t ioservid)  in xen_destroy_ioreq_server()  argument
492     trace_xen_ioreq_server_destroy(ioservid);  in xen_destroy_ioreq_server()
493     xendevicemodel_destroy_ioreq_server(xen_dmod, dom, ioservid);  in xen_destroy_ioreq_server()
497                                             ioservid_t ioservid,  in xen_get_ioreq_server_info()  argument
508     return xendevicemodel_get_ioreq_server_info(xen_dmod, dom, ioservid,  in xen_get_ioreq_server_info()
514                                              ioservid_t ioservid,  in xen_set_ioreq_server_state()  argument
521     trace_xen_ioreq_server_state(ioservid, enable);  in xen_set_ioreq_server_state()
522     return xendevicemodel_set_ioreq_server_state(xen_dmod, dom, ioservid,  in xen_set_ioreq_server_state()