Lines Matching full:platform
2 * Platform Bus device to support dynamic Sysbus devices
23 #include "hw/platform-bus.h"
32 * the IRQ is not mapped on this Platform bus.
46 /* IRQ not mapped on platform bus */ in platform_bus_get_irqn()
52 * -1 if the region is not mapped on this Platform bus.
70 /* MMIO region is not mapped on platform bus */ in platform_bus_get_mmio_addr()
100 * unassociated MMIO regions. Connect them to the platform bus if available.
121 error_report("Platform Bus: Can not fit IRQ line"); in platform_bus_map_irq()
158 error_report("Platform Bus: Can not fit MMIO region of size %"PRIx64, in platform_bus_map_mmio()
163 /* Map the device's region into our Platform Bus MMIO space */ in platform_bus_map_mmio()
169 * Connect them to the platform bus if available.
193 memory_region_init(&pbus->mmio, OBJECT(dev), "platform bus", in platform_bus_realize()