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 10 void __init plat_time_init(void) 11 { 12 sb1480_clocksource_init(); 13 sb1480_clockevent_init(); 14 }