1 /*
2 * Copyright (c) 2020, MediaTek Inc. All rights reserved.
3 *
4 * SPDX-License-Identifier: BSD-3-Clause
5 */
6
7 #include <common/debug.h>
8 #include <common/runtime_svc.h>
9
mediatek_plat_sip_handler(uint32_t smc_fid,u_register_t x1,u_register_t x2,u_register_t x3,u_register_t x4,void * cookie,void * handle,u_register_t flags)10 uintptr_t mediatek_plat_sip_handler(uint32_t smc_fid,
11 u_register_t x1,
12 u_register_t x2,
13 u_register_t x3,
14 u_register_t x4,
15 void *cookie,
16 void *handle,
17 u_register_t flags)
18 {
19
20 switch (smc_fid) {
21 default:
22 ERROR("%s: unhandled SMC (0x%x)\n", __func__, smc_fid);
23 break;
24 }
25
26 SMC_RET1(handle, SMC_UNK);
27 }
28