/* | |
* Copyright (c) 2020, MediaTek Inc. All rights reserved. | |
* | |
* SPDX-License-Identifier: BSD-3-Clause | |
*/ | |
#include <common/debug.h> | |
#include <common/runtime_svc.h> | |
uintptr_t 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) | |
{ | |
switch (smc_fid) { | |
default: | |
ERROR("%s: unhandled SMC (0x%x)\n", __func__, smc_fid); | |
break; | |
} | |
SMC_RET1(handle, SMC_UNK); | |
} |