bsec: move bsec_mode_is_closed_device() service to platform
[project/bcm63xx/atf.git] / plat / st / common / include / stm32mp_common.h
index e20308ee2f5726ceb43e54e17d888d39cbe06564..59657fdc2c539a547ffaf43f8070344ac9f0b20e 100644 (file)
@@ -19,6 +19,7 @@ void stm32mp_save_boot_ctx_address(uintptr_t address);
 uintptr_t stm32mp_get_boot_ctx_address(void);
 
 bool stm32mp_is_single_core(void);
+bool stm32mp_is_closed_device(void);
 
 /* Return the base address of the DDR controller */
 uintptr_t stm32mp_ddrctrl_base(void);