struct xendevicemodel_vram *vram,
start, length);
+//PASSTHRU
+//`xc_domain_bind_pt_pci_irq` N `XEN_DOMCTL_bind_pt_irq` N None
+//`xc_domain_ioport_mapping` N `XEN_DOMCTL_ioport_mapping` N None
+//`xc_domain_memory_mapping` N `XEN_DOMCTL_memory_mapping` N libxl
+//`xc_domain_unbind_msi_irq` N `XEN_DOMCTL_unbind_pt_irq` N None
+//`xc_domain_unbind_pt_irq` N `XEN_DOMCTL_unbind_pt_irq` N None
+//`xc_domain_update_msi_irq` N `XEN_DOMCTL_bind_pt_irq` N None
+//`xc_physdev_map_pirq` N `PHYSDEVOP_map_pirq` Y libxl
+//`xc_physdev_map_pirq_msi` N `PHYSDEVOP_map_pirq` Y None
+//`xc_physdev_unmap_pirq` N `PHYSDEVOP_unmap_pirq` Y libxl
+
+// U xc_domain_iomem_permission
#endif
#endif