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