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