| // SPDX-License-Identifier: GPL-2.0-or-later | |
| /* | |
| * Copyright (C) 2000,2001,2004 Broadcom Corporation | |
| */ | |
| #include <linux/init.h> | |
| extern void sb1480_clockevent_init(void); | |
| extern void sb1480_clocksource_init(void); | |
| void __init plat_time_init(void) | |
| { | |
| sb1480_clocksource_init(); | |
| sb1480_clockevent_init(); | |
| } |