1*47cf5d3fSEtienne Carriere /* 2*47cf5d3fSEtienne Carriere * Copyright (c) 2017-2020, STMicroelectronics - All Rights Reserved 3*47cf5d3fSEtienne Carriere * 4*47cf5d3fSEtienne Carriere * SPDX-License-Identifier: BSD-3-Clause 5*47cf5d3fSEtienne Carriere */ 6*47cf5d3fSEtienne Carriere 7*47cf5d3fSEtienne Carriere #ifndef STM32MP_SHARED_RESOURCES_H 8*47cf5d3fSEtienne Carriere #define STM32MP_SHARED_RESOURCES_H 9*47cf5d3fSEtienne Carriere 10*47cf5d3fSEtienne Carriere #include <stdbool.h> 11*47cf5d3fSEtienne Carriere 12*47cf5d3fSEtienne Carriere /* Return true if @clock_id is shared by secure and non-secure worlds */ 13*47cf5d3fSEtienne Carriere bool stm32mp_nsec_can_access_clock(unsigned long clock_id); 14*47cf5d3fSEtienne Carriere 15*47cf5d3fSEtienne Carriere /* Return true if and only if @reset_id relates to a non-secure peripheral */ 16*47cf5d3fSEtienne Carriere bool stm32mp_nsec_can_access_reset(unsigned int reset_id); 17*47cf5d3fSEtienne Carriere 18*47cf5d3fSEtienne Carriere #endif /* STM32MP_SHARED_RESOURCES_H */ 19