sibyte/bcm1480/time.c

0001 // SPDX-License-Identifier: GPL-2.0-or-later
0002 /*
0003  * Copyright (C) 2000,2001,2004 Broadcom Corporation
0004  */
0005 #include <linux/init.h>
0006
0007 extern void sb1480_clockevent_init(void);
0008 extern void sb1480_clocksource_init(void);
0009
0010 void __init plat_time_init(void)
0011 {
0012     sb1480_clocksource_init();
0013     sb1480_clockevent_init();
0014 }