Fix some builds with Kconfig.
[coreboot.git] / src / arch / ppc / lib / timer.c
1 /*
2  * This file is part of the coreboot project.
3  *
4  * Copyright (C) 2000 AG Electronics Ltd.
5  *
6  * This program is free software; you can redistribute it and/or modify
7  * it under the terms of the GNU General Public License version 2 as
8  * published by the Free Software Foundation.
9  *
10  * This program is distributed in the hope that it will be useful,
11  * but WITHOUT ANY WARRANTY; without even the implied warranty of
12  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
13  * GNU General Public License for more details.
14  *
15  * You should have received a copy of the GNU General Public License
16  * along with this program; if not, write to the Free Software
17  * Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA  02110-1301 USA
18  */
19
20 #include <ppc.h>
21 #include <timer.h>
22 #include <clock.h>
23
24 unsigned long get_hz(void)
25 {
26         return get_timer_freq();
27 }
28
29 unsigned long ticks_since_boot(void)
30 {
31         extern unsigned long _get_ticks(void);
32         return _get_ticks();
33 }
34
35 void udelay(int usecs)
36 {
37         extern void _wait_ticks(unsigned long);
38         unsigned long ticksperusec = get_hz() / 1000000;
39
40         _wait_ticks(ticksperusec * usecs);
41 }