1 // SPDX-License-Identifier: GPL-2.0-or-later
2 /*
3  * Copyright (C) 2000,2001,2004 Broadcom Corporation
4  */
5 #include <linux/init.h>
6 
7 extern void sb1480_clockevent_init(void);
8 extern void sb1480_clocksource_init(void);
9 
plat_time_init(void)10 void __init plat_time_init(void)
11 {
12 	sb1480_clocksource_init();
13 	sb1480_clockevent_init();
14 }
15