// SPDX-License-Identifier: BSD-2-Clause
/*
 * Copyright (c) 2015, Linaro Limited
 */
#include <kernel/thread.h>
#include <kernel/panic.h>
#include <tee/arch_svc.h>

/*
 * Note: this function is weak just to make it possible to exclude it from
 * the unpaged area.
 *
 * Not strictly needed in this case, but we need to be compatible with the
 * one in core/arch/arm/tee/arch_svc.c
 */
void __weak __noreturn tee_svc_handler(struct thread_svc_regs *regs __unused)
{
	/* "Can't happen" as we have no user space TAs */
	panic();
}