1 /* SPDX-License-Identifier: BSD-2-Clause */ 2 /* 3 * Copyright (C) 2026, STMicroelectronics - All Rights Reserved 4 */ 5 6 #ifndef __PTA_STM32MP_DEBUG_ACCESS_H 7 #define __PTA_STM32MP_DEBUG_ACCESS_H 8 9 #define PTA_STM32_DBG_ACCESS_UUID \ 10 { 0xdd05bc8b, 0x9f3b, 0x49f0, \ 11 { 0xb6, 0x49, 0x01, 0xaa, 0x10, 0xc1, 0xc2, 0x10 } } 12 13 enum stm32_pta_dbg_profile { 14 /* Embedded debug peripherals support */ 15 PTA_STM32_DEBUG_PERIPHERAL_DBG_PROFILE = 0, 16 /* Hardware Debug Port (HDP) support (internal signals observation) */ 17 PTA_STM32_DEBUG_HDP_DBG_PROFILE = 1, 18 }; 19 20 /** 21 * PTA_STM32_DEBUG_CMD_GRANT_DBG_ACCESS 22 * 23 * [in] value[0].a Debug configuration to grant access to. 24 * See enum stm32_pta_dbg_profile. 25 * 26 * Return codes: 27 * TEE_SUCCESS - Invoke command success 28 * TEE_ERROR_BAD_PARAMETERS - Incorrect input param 29 * TEE_ERROR_ACCESS_DENIED - Debug services access not granted 30 */ 31 #define PTA_STM32_DEBUG_CMD_GRANT_DBG_ACCESS 0x0 32 33 #endif /* __PTA_STM32MP_DEBUG_ACCESS_H */ 34