1 // SPDX-License-Identifier: GPL-2.0-or-later 1 // SPDX-License-Identifier: GPL-2.0-or-later
2 /* 2 /*
3 * Copyright (C) 2000, 2001 Broadcom Corporati 3 * Copyright (C) 2000, 2001 Broadcom Corporation
4 */ 4 */
5 #include <linux/init.h> 5 #include <linux/init.h>
6 6
7 extern void sb1250_clocksource_init(void); 7 extern void sb1250_clocksource_init(void);
8 extern void sb1250_clockevent_init(void); 8 extern void sb1250_clockevent_init(void);
9 9
10 void __init plat_time_init(void) 10 void __init plat_time_init(void)
11 { 11 {
12 sb1250_clocksource_init(); 12 sb1250_clocksource_init();
13 sb1250_clockevent_init(); 13 sb1250_clockevent_init();
14 } 14 }
15 15
Linux® is a registered trademark of Linus Torvalds in the United States and other countries.
TOMOYO® is a registered trademark of NTT DATA CORPORATION.