// SPDX-License-Identifier: GPL-2.0+
#ifndef PL111_NOMADIK_H
#define PL111_NOMADIK_H
#endif
struct device;
#ifdef CONFIG_ARCH_NOMADIK
void pl111_nomadik_init(struct device *dev);
#else
static inline void pl111_nomadik_init(struct device *dev)
{
}
#endif