1 // SPDX-License-Identifier: GPL-2.0-or-later
3 * Copyright (C) 2000, 2001 Broadcom Corporation
5 #include <linux/init.h>
7 extern void sb1250_clocksource_init(void);
8 extern void sb1250_clockevent_init(void);
10 void __init
plat_time_init(void)
12 sb1250_clocksource_init();
13 sb1250_clockevent_init();