1 /* SPDX-License-Identifier: BSD-2-Clause */
2 /*
3  * Copyright (C) 2019, Linaro Limited
4  */
5 
6 /*
7  * Enumerate the pseudo TAs that have the TA_FLAG_DEVICE_ENUM flag enabled.
8  */
9 
10 #ifndef __PTA_DEVICE_H
11 #define __PTA_DEVICE_H
12 
13 #define PTA_DEVICE_UUID { 0x7011a688, 0xddde, 0x4053, \
14 		{ 0xa5, 0xa9, 0x7b, 0x3c, 0x4d, 0xdf, 0x13, 0xb8 } }
15 
16 /*
17  * Get device UUIDs
18  *
19  * [out]     memref[0]        Array of device UUIDs
20  *
21  * Return codes:
22  * TEE_SUCCESS - Invoke command success
23  * TEE_ERROR_BAD_PARAMETERS - Incorrect input param
24  * TEE_ERROR_SHORT_BUFFER - Output buffer size less than required
25  */
26 #define PTA_CMD_GET_DEVICES		0x0 /* before tee-supplicant run */
27 #define PTA_CMD_GET_DEVICES_SUPP	0x1 /* after tee-supplicant run */
28 
29 #endif /* __PTA_DEVICE_H */
30