// SPDX-License-Identifier: BSD-2-Clause
/*
 * Copyright (c) 2014, STMicroelectronics International N.V.
 */
#include <stdlib.h>
#include <stdint.h>
#include <stdbool.h>

#include <utee_misc.h>
#include "utee_syscalls.h"

/* utee_get_ta_exec_id - get a process/thread id for the current sequence */
unsigned int utee_get_ta_exec_id(void)
{
	/* no execution ID available */
	return 0;
}