1 // SPDX-License-Identifier: GPL-2.0+
2 #include <linux/device.h>
4 #ifndef PL111_NOMADIK_H
5 #define PL111_NOMADIK_H
8 #ifdef CONFIG_ARCH_NOMADIK
10 void pl111_nomadik_init(struct device
*dev
);
14 static inline void pl111_nomadik_init(struct device
*dev
)