f36797ee43
The device-tree booted MMP2 needs to enable the timer clock, otherwise it would stop ticking when the boot finishes. It can also use the clock rate from the clk, the non-DT boards need to keep using the hardcoded rates. Signed-off-by: Lubomir Rintel <lkundrak@v3.sk> Acked-by: Pavel Machek <pavel@ucw.cz> Signed-off-by: Olof Johansson <olof@lixom.net>
9 lines
259 B
C
9 lines
259 B
C
/* SPDX-License-Identifier: GPL-2.0 */
|
|
#include <linux/reboot.h>
|
|
#define ARRAY_AND_SIZE(x) (x), ARRAY_SIZE(x)
|
|
|
|
extern void timer_init(int irq, unsigned long rate);
|
|
|
|
extern void __init mmp_map_io(void);
|
|
extern void mmp_restart(enum reboot_mode, const char *);
|