// 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