// SPDX-License-Identifier: GPL-2.0/* * platform.c - platform 'pseudo' bus for legacy devices * * Copyright (c) 2002-3 Patrick Mochel * Copyright (c) 2002-3 Open Source Development Labs * * Please see Documentation/driver-api/driver-model/platform.rst for more * information. */#include<linux/string.h>#include<linux/platform_device.h>#include<linux/of_device.h>#include<linux/of_irq.h>#include<linux/module.h>#include<linux/init.h>#include<linux/interrupt.h>#include<linux/ioport.h>#include<linux/dma-mapping.h>#include<linux/memblock.h>#include<linux/err.h>#include<linux/slab.h>#include<linux/pm_runtime.h>#include<linux/pm_domain.h>#include<linux/idr.h>#include<linux/acpi.h>#include<linux/clk/clk-conf.h>#include<linux/limits.h>#include<linux/property.h>#include<linux/kmemleak.h>#include<linux/types.h>#include<linux/iommu.h>#include<linux/dma-map-ops.h>#include"base.h&quo