| /* |
| * Copyright (C) 2016 Freescale Semiconductor, Inc. |
| * Copyright 2017 NXP |
| * |
| * SPDX-License-Identifier: GPL-2.0+ |
| */ |
| |
| #ifndef _SC_SCFW_H |
| #define _SC_SCFW_H |
| |
| #include <linux/types.h> |
| |
| /*! |
| * This type is used to declare a handle for an IPC communication |
| * channel. Its meaning is specific to the IPC implementation. |
| */ |
| typedef uint32_t sc_ipc_t; |
| |
| /*! |
| * This type is used to declare an ID for an IPC communication |
| * channel. Its meaning is specific to the IPC implementation. |
| */ |
| typedef uint32_t sc_ipc_id_t; |
| |
| /*! |
| * This function returns the MU channel ID for this implementation |
| * |
| * @param[in] ipc pointer to Mu channel ID |
| * @return Returns an error code (SC_ERR_NONE = success, SC_ERR_IPC |
| * otherwise). |
| */ |
| int sc_ipc_getMuID(uint32_t *mu_id); |
| |
| #endif |
