1 // SPDX-License-Identifier: GPL-2.0+ 2 #include <linux/device.h> 3 4 #ifndef PL111_NOMADIK_H 5 #define PL111_NOMADIK_H 6 #endif 7 8 #ifdef CONFIG_ARCH_NOMADIK 9 10 void pl111_nomadik_init(struct device *dev); 11 12 #else 13 14 static inline void pl111_nomadik_init(struct device *dev) 15 { 16 } 17 18 #endif 19