/* SPDX-License-Identifier: BSD-2-Clause */
/*
 * Copyright (c) 2014, STMicroelectronics International N.V.
 */
#ifndef UTEE_MISC_H
#define UTEE_MISC_H

unsigned int utee_get_ta_exec_id(void);

#endif