1/* SPDX-License-Identifier: GPL-2.0-or-later */
2/*
3 * Copyright (C) 2007 Freescale Semiconductor, Inc. All rights reserved.
4 *
5 * Prototypes for MPC512x shared code
6 */
7
8#ifndef __MPC512X_H__
9#define __MPC512X_H__
10extern void __init mpc512x_init_IRQ(void);
11extern void __init mpc512x_init_early(void);
12extern void __init mpc512x_init(void);
13extern void __init mpc512x_setup_arch(void);
14extern int __init mpc5121_clk_init(void);
15extern const char *mpc512x_select_psc_compat(void);
16extern const char *mpc512x_select_reset_compat(void);
17extern void __noreturn mpc512x_restart(char *cmd);
18
19#endif				/* __MPC512X_H__ */
20