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