147cf5d3fSEtienne Carriere /* 247cf5d3fSEtienne Carriere * Copyright (c) 2017-2020, STMicroelectronics - All Rights Reserved 347cf5d3fSEtienne Carriere * 447cf5d3fSEtienne Carriere * SPDX-License-Identifier: BSD-3-Clause 547cf5d3fSEtienne Carriere */ 647cf5d3fSEtienne Carriere 747cf5d3fSEtienne Carriere #ifndef STM32MP_SHARED_RESOURCES_H 847cf5d3fSEtienne Carriere #define STM32MP_SHARED_RESOURCES_H 947cf5d3fSEtienne Carriere 1047cf5d3fSEtienne Carriere #include <stdbool.h> 1147cf5d3fSEtienne Carriere 1247cf5d3fSEtienne Carriere /* Return true if @clock_id is shared by secure and non-secure worlds */ 1347cf5d3fSEtienne Carriere bool stm32mp_nsec_can_access_clock(unsigned long clock_id); 1447cf5d3fSEtienne Carriere 1547cf5d3fSEtienne Carriere /* Return true if and only if @reset_id relates to a non-secure peripheral */ 1647cf5d3fSEtienne Carriere bool stm32mp_nsec_can_access_reset(unsigned int reset_id); 1747cf5d3fSEtienne Carriere 18*5f038ac6SEtienne Carriere /* Consolidate peripheral states and lock against new peripheral registering */ 19*5f038ac6SEtienne Carriere void stm32mp_lock_periph_registering(void); 20*5f038ac6SEtienne Carriere 2147cf5d3fSEtienne Carriere #endif /* STM32MP_SHARED_RESOURCES_H */ 22