/* SPDX-License-Identifier: BSD-2-Clause */
/*
 * Copyright (c) 2014, Linaro Limited
 */
#ifndef TEE_ARCH_SVC_H
#define TEE_ARCH_SVC_H

struct thread_svc_regs;

/* Registered as .handle_svc in struct tee_ta_ops for user TAs. */
bool user_ta_handle_svc(struct thread_svc_regs *regs);

/*
 * Called from the assembly functions syscall_sys_return() and
 * syscall_panic() to update the register values in the struct
 * thread_svc_regs to return back to TEE Core from an erlier call to
 * thread_enter_user_mode().
 */
uint32_t tee_svc_sys_return_helper(uint32_t ret, bool panic,
				   uint32_t panic_code,
				   struct thread_svc_regs *regs);

#endif /*TEE_ARCH_SVC_H*/