2
* Copyright (C) 2008 Michael Brown <mbrown@fensystems.co.uk>.
4
* This program is free software; you can redistribute it and/or
5
* modify it under the terms of the GNU General Public License as
6
* published by the Free Software Foundation; either version 2 of the
7
* License, or any later version.
9
* This program is distributed in the hope that it will be useful, but
10
* WITHOUT ANY WARRANTY; without even the implied warranty of
11
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
12
* General Public License for more details.
14
* You should have received a copy of the GNU General Public License
15
* along with this program; if not, write to the Free Software
16
* Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA.
19
FILE_LICENCE ( GPL2_OR_LATER );
28
#include <ipxe/timer.h>
29
#include <ipxe/timer2.h>
32
* Number of TSC ticks per microsecond
34
* This is calibrated on the first use of the timer.
36
static unsigned long rdtsc_ticks_per_usec;
39
* Delay for a fixed number of microseconds
41
* @v usecs Number of microseconds for which to delay
43
static void rdtsc_udelay ( unsigned long usecs ) {
45
unsigned long elapsed;
47
/* Sanity guard, since we may divide by this */
52
if ( rdtsc_ticks_per_usec ) {
53
/* Already calibrated; busy-wait until done */
55
elapsed = ( currticks() - start );
56
} while ( elapsed < ( usecs * rdtsc_ticks_per_usec ) );
58
/* Not yet calibrated; use timer2 and calibrate
61
timer2_udelay ( usecs );
62
elapsed = ( currticks() - start );
63
rdtsc_ticks_per_usec = ( elapsed / usecs );
64
DBG ( "RDTSC timer calibrated: %ld ticks in %ld usecs "
65
"(%ld MHz)\n", elapsed, usecs,
66
( rdtsc_ticks_per_usec << TSC_SHIFT ) );
71
* Get number of ticks per second
73
* @ret ticks_per_sec Number of ticks per second
75
static unsigned long rdtsc_ticks_per_sec ( void ) {
77
/* Calibrate timer, if not already done */
78
if ( ! rdtsc_ticks_per_usec )
82
assert ( rdtsc_ticks_per_usec != 0 );
84
return ( rdtsc_ticks_per_usec * 1000 * 1000 );
87
PROVIDE_TIMER ( rdtsc, udelay, rdtsc_udelay );
88
PROVIDE_TIMER_INLINE ( rdtsc, currticks );
89
PROVIDE_TIMER ( rdtsc, ticks_per_sec, rdtsc_ticks_per_sec );