time.c

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