/*
 * Copyright (c) 2018, Arm Limited. All rights reserved.
 *
 * SPDX-License-Identifier: BSD-3-Clause
 */

/*
 * Definitions related to the Trusted OS Service as per the SMC Calling
 * Convention.
 */

#ifndef __TRUSTED_OS_H__
#define __TRUSTED_OS_H__

#include <uuid.h>

/* Trusted OS Function IDs that fall under Trusted OS call range */
#define SMC_TOS_CALL_COUNT	0xbf00ff00
#define SMC_TOS_UID		0xbf00ff01
/*				0xbf00ff02 is reserved */
#define SMC_TOS_REVISION	0xbf00ff03

/*
 * Detect whether a Trusted OS is present in the software stack.
 * This is implemented using the Trusted OS UID SMC call.
 *
 * If a Trusted OS is detected then this function returns 1
 * and populates 'tos_uuid' with the UUID of the detected Trusted OS.
 * Otherwise, this function returns 0 and the value pointed by 'tos_uuid'
 * should be ignored.
 */
unsigned int is_trusted_os_present(uuid_t *tos_uuid);

#endif /* __TRUSTED_OS_H__ */