| /* |
| * Copyright (c) 2017-2020, STMicroelectronics - All Rights Reserved |
| * |
| * SPDX-License-Identifier: BSD-3-Clause |
| */ |
| |
| #ifndef STM32MP_SHARED_RESOURCES_H |
| #define STM32MP_SHARED_RESOURCES_H |
| |
| #include <stdbool.h> |
| |
| /* Return true if @clock_id is shared by secure and non-secure worlds */ |
| bool stm32mp_nsec_can_access_clock(unsigned long clock_id); |
| |
| /* Return true if and only if @reset_id relates to a non-secure peripheral */ |
| bool stm32mp_nsec_can_access_reset(unsigned int reset_id); |
| |
| /* Consolidate peripheral states and lock against new peripheral registering */ |
| void stm32mp_lock_periph_registering(void); |
| |
| #endif /* STM32MP_SHARED_RESOURCES_H */ |