2019-05-27 14:55:05 +08:00
|
|
|
// SPDX-License-Identifier: GPL-2.0-or-later
|
2005-04-17 06:20:36 +08:00
|
|
|
/*
|
|
|
|
* Copyright (C) 2000, 2001 Broadcom Corporation
|
|
|
|
*/
|
2007-11-01 09:57:55 +08:00
|
|
|
#include <linux/init.h>
|
2005-04-17 06:20:36 +08:00
|
|
|
|
2007-11-01 09:57:55 +08:00
|
|
|
extern void sb1250_clocksource_init(void);
|
|
|
|
extern void sb1250_clockevent_init(void);
|
2007-10-19 15:22:38 +08:00
|
|
|
|
|
|
|
void __init plat_time_init(void)
|
|
|
|
{
|
|
|
|
sb1250_clocksource_init();
|
|
|
|
sb1250_clockevent_init();
|
|
|
|
}
|