10b611081SSumit Garg /* SPDX-License-Identifier: BSD-2-Clause */ 20b611081SSumit Garg /* 30b611081SSumit Garg * Copyright (C) 2019, Linaro Limited 40b611081SSumit Garg */ 50b611081SSumit Garg 60b611081SSumit Garg /* 70b611081SSumit Garg * Enumerate the pseudo TAs that have the TA_FLAG_DEVICE_ENUM flag enabled. 80b611081SSumit Garg */ 90b611081SSumit Garg 100b611081SSumit Garg #ifndef __PTA_DEVICE_H 110b611081SSumit Garg #define __PTA_DEVICE_H 120b611081SSumit Garg 130b611081SSumit Garg #define PTA_DEVICE_UUID { 0x7011a688, 0xddde, 0x4053, \ 140b611081SSumit Garg { 0xa5, 0xa9, 0x7b, 0x3c, 0x4d, 0xdf, 0x13, 0xb8 } } 150b611081SSumit Garg 160b611081SSumit Garg /* 170b611081SSumit Garg * Get device UUIDs 180b611081SSumit Garg * 190b611081SSumit Garg * [out] memref[0] Array of device UUIDs 200b611081SSumit Garg * 210b611081SSumit Garg * Return codes: 220b611081SSumit Garg * TEE_SUCCESS - Invoke command success 230b611081SSumit Garg * TEE_ERROR_BAD_PARAMETERS - Incorrect input param 240b611081SSumit Garg * TEE_ERROR_SHORT_BUFFER - Output buffer size less than required 250b611081SSumit Garg */ 26bc5921cdSMaxim Uvarov #define PTA_CMD_GET_DEVICES 0x0 /* before tee-supplicant run */ 27bc5921cdSMaxim Uvarov #define PTA_CMD_GET_DEVICES_SUPP 0x1 /* after tee-supplicant run */ 28*a96033caSJens Wiklander #define PTA_CMD_GET_DEVICES_RPMB 0x2 /* probe for RPMB */ 290b611081SSumit Garg 300b611081SSumit Garg #endif /* __PTA_DEVICE_H */ 31