blob: 434e1df5bdf907d439615a20024509912d48b035 [file] [log] [blame]
/* SPDX-License-Identifier: BSD-2-Clause */
/*
* Copyright (C) 2019, Linaro Limited
*/
/*
* Enumerate the pseudo TAs that have the TA_FLAG_DEVICE_ENUM flag enabled.
*/
#ifndef __PTA_DEVICE_H
#define __PTA_DEVICE_H
#define PTA_DEVICE_UUID { 0x7011a688, 0xddde, 0x4053, \
{ 0xa5, 0xa9, 0x7b, 0x3c, 0x4d, 0xdf, 0x13, 0xb8 } }
/*
* Get device UUIDs
*
* [out] memref[0] Array of device UUIDs
*
* Return codes:
* TEE_SUCCESS - Invoke command success
* TEE_ERROR_BAD_PARAMETERS - Incorrect input param
* TEE_ERROR_SHORT_BUFFER - Output buffer size less than required
*/
#define PTA_CMD_GET_DEVICES 0x0
#endif /* __PTA_DEVICE_H */