// SPDX-License-Identifier: GPL-2.0//// Copyright (c) 2019 MediaTek Inc.#include<asm/barrier.h>#include<linux/clk.h>#include<linux/dma-mapping.h>#include<linux/err.h>#include<linux/interrupt.h>#include<linux/kernel.h>#include<linux/module.h>#include<linux/of_address.h>#include<linux/of_platform.h>#include<linux/of_reserved_mem.h>#include<linux/platform_device.h>#include<linux/remoteproc.h>#include<linux/remoteproc/mtk_scp.h>#include<linux/rpmsg/mtk_rpmsg.h>#include"mtk_common.h"#include"remoteproc_internal.h"#define SECTION_NAME_IPI_BUFFER ".ipi_buffer"/** * scp_get() - get a reference to SCP. * * @pdev: the platform device of the module requesting SCP platform * device for using SCP API. * * Return: Return NULL if failed. otherwise reference to SCP. **/structmtk_scp*scp_get(structplatform_device*pdev){structdevice*dev=&pdev->dev