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