/* SPDX-License-Identifier: GPL-2.0-only */

#ifndef __IP27_COMMON_H
#define __IP27_COMMON_H

extern void ip27_reboot_setup(void);
extern void hub_rt_clock_event_init(void);
extern const struct plat_smp_ops ip27_smp_ops;

#endif /* __IP27_COMMON_H */