| /* |
| * 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__ */ |