/* show_bus() - Show devices on a single AXI bus @bus: The AXI bus device to printt information for  */
static void show_bus(struct udevice *bus)
/* show_bus() - Show devices on a single AXI bus @bus: The AXI bus device to printt information for  */
static void show_bus(struct udevice *bus)
{
	struct udevice *dev;
	printf("Bus %d:\t%s", bus->req_seq, bus->name);
	if (device_active(bus))
		printf("  (active %d)", bus->seq);
	printf("\n");
	for (device_find_first_child(bus, &dev);
	     dev;
	     device_find_next_child(&dev))
		printf("  %s\n", dev->name);
}