i386/xen/xen_platform.c

2  * XEN platform pci device, formerly known as the event channel device
74 #define TYPE_XEN_PLATFORM "xen-platform"
316     case 0: /* Platform flags */  in platform_fixed_ioport_writeb()
359         /* Platform flags */  in platform_fixed_ioport_readb()
430 /* Xen Platform PCI Device */
449     case 0: /* Platform flags */  in xen_platform_ioport_writeb()
501             "0x" HWADDR_FMT_plx " in xen platform mmio space\n", addr);  in platform_mmio_read()
510             "address 0x" HWADDR_FMT_plx " in xen platform mmio space\n",  in platform_mmio_write()
536     .name = "platform",
554         error_setg(errp, "xen-platform device requires a Xen guest");  in xen_platform_realize()
597     dc->desc = "XEN platform pci device";  in xen_platform_class_init()