1 /* SPDX-License-Identifier: BSD-3-Clause */ 2 /* 3 * Copyright (c) 2023, STMicroelectronics 4 */ 5 6 #ifndef __STM32_UTIL_H__ 7 #define __STM32_UTIL_H__ 8 9 #include <drivers/stm32mp2_rcc_util.h> 10 #include <kernel/spinlock.h> 11 #include <stdint.h> 12 #include <types_ext.h> 13 14 static inline void stm32mp_register_secure_periph_iomem(vaddr_t base __unused) 15 { 16 } 17 18 static inline void stm32mp_register_non_secure_periph_iomem(vaddr_t base 19 __unused) { } 20 21 static inline void stm32mp_register_gpioz_pin_count(size_t count __unused) { } 22 23 #define may_spin_lock(lock) cpu_spin_lock_xsave(lock) 24 #define may_spin_unlock(lock, exceptions) cpu_spin_unlock_xrestore(lock, \ 25 exceptions) 26 27 bool stm32mp_allow_probe_shared_device(const void *fdt, int node); 28 29 #endif /*__STM32_UTIL_H__*/ 30