Skip to content

Commit

Permalink
[timer] Formalise the timer API
Browse files Browse the repository at this point in the history
We now have two implementations for the timer API: one using the
time-of-day counter at 40:70 and one using RDTSC.  Both make use of
timer2_udelay().
  • Loading branch information
Michael Brown committed Oct 12, 2008
1 parent e6f276e commit 16f1e35
Show file tree
Hide file tree
Showing 22 changed files with 386 additions and 284 deletions.
87 changes: 87 additions & 0 deletions src/arch/i386/core/rdtsc_timer.c
@@ -0,0 +1,87 @@
/*
* Copyright (C) 2008 Michael Brown <mbrown@fensystems.co.uk>.
*
* This program is free software; you can redistribute it and/or
* modify it under the terms of the GNU General Public License as
* published by the Free Software Foundation; either version 2 of the
* License, or any later version.
*
* This program is distributed in the hope that it will be useful, but
* WITHOUT ANY WARRANTY; without even the implied warranty of
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
* General Public License for more details.
*
* You should have received a copy of the GNU General Public License
* along with this program; if not, write to the Free Software
* Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA.
*/

/** @file
*
* RDTSC timer
*
*/

#include <assert.h>
#include <gpxe/timer.h>
#include <gpxe/timer2.h>

/**
* Number of TSC ticks per microsecond
*
* This is calibrated on the first use of the timer.
*/
static unsigned long rdtsc_ticks_per_usec;

/**
* Delay for a fixed number of microseconds
*
* @v usecs Number of microseconds for which to delay
*/
static void rdtsc_udelay ( unsigned long usecs ) {
unsigned long start;
unsigned long elapsed;

/* Sanity guard, since we may divide by this */
if ( ! usecs )
usecs = 1;

start = currticks();
if ( rdtsc_ticks_per_usec ) {
/* Already calibrated; busy-wait until done */
do {
elapsed = ( currticks() - start );
} while ( elapsed < ( usecs * rdtsc_ticks_per_usec ) );
} else {
/* Not yet calibrated; use timer2 and calibrate
* based on result.
*/
timer2_udelay ( usecs );
elapsed = ( currticks() - start );
rdtsc_ticks_per_usec = ( elapsed / usecs );
DBG ( "RDTSC timer calibrated: %ld ticks in %ld usecs "
"(%ld MHz)\n", elapsed, usecs,
( rdtsc_ticks_per_usec << TSC_SHIFT ) );
}
}

/**
* Get number of ticks per second
*
* @ret ticks_per_sec Number of ticks per second
*/
static unsigned long rdtsc_ticks_per_sec ( void ) {

/* Calibrate timer, if not already done */
if ( ! rdtsc_ticks_per_usec )
udelay ( 1 );

/* Sanity check */
assert ( rdtsc_ticks_per_usec != 0 );

return ( rdtsc_ticks_per_usec * 1000 * 1000 );
}

PROVIDE_TIMER ( rdtsc, udelay, rdtsc_udelay );
PROVIDE_TIMER_INLINE ( rdtsc, currticks );
PROVIDE_TIMER ( rdtsc, ticks_per_sec, rdtsc_ticks_per_sec );
22 changes: 9 additions & 13 deletions src/arch/i386/core/i386_timer.c → src/arch/i386/core/timer2.c
Expand Up @@ -12,12 +12,11 @@
*/

#include <stddef.h>
#include <bits/timer2.h>
#include <gpxe/timer.h>
#include <gpxe/timer2.h>
#include <gpxe/io.h>

/* Timers tick over at this rate */
#define TIMER2_TICK_RATE 1193180U
#define TIMER2_TICKS_PER_SEC 1193180U

/* Parallel Peripheral Controller Port B */
#define PPC_PORTB 0x61
Expand Down Expand Up @@ -52,8 +51,7 @@
#define BINARY_COUNT 0x00
#define BCD_COUNT 0x01

static void load_timer2(unsigned int ticks)
{
static void load_timer2 ( unsigned int ticks ) {
/*
* Now let's take care of PPC channel 2
*
Expand All @@ -75,15 +73,13 @@ static void load_timer2(unsigned int ticks)
outb(ticks >> 8, TIMER2_PORT);
}

static int timer2_running(void)
{
static int timer2_running ( void ) {
return ((inb(PPC_PORTB) & PPCB_T2OUT) == 0);
}

void i386_timer2_udelay(unsigned int usecs)
{
load_timer2((usecs * TIMER2_TICK_RATE)/USECS_IN_SEC);
while (timer2_running())
;
void timer2_udelay ( unsigned long usecs ) {
load_timer2 ( ( usecs * TIMER2_TICKS_PER_SEC ) / ( 1000 * 1000 ) );
while (timer2_running()) {
/* Do nothing */
}
}

57 changes: 0 additions & 57 deletions src/arch/i386/drivers/timer_bios.c

This file was deleted.

69 changes: 0 additions & 69 deletions src/arch/i386/drivers/timer_rdtsc.c

This file was deleted.

1 change: 0 additions & 1 deletion src/arch/i386/include/bios.h
Expand Up @@ -5,7 +5,6 @@
#define BDA_FBMS 0x0013
#define BDA_NUM_DRIVES 0x0075

extern unsigned long currticks ( void );
extern void cpu_nap ( void );

#endif /* BIOS_H */
13 changes: 13 additions & 0 deletions src/arch/i386/include/bits/timer.h
@@ -0,0 +1,13 @@
#ifndef _BITS_TIMER_H
#define _BITS_TIMER_H

/** @file
*
* i386-specific timer API implementations
*
*/

#include <gpxe/bios_timer.h>
#include <gpxe/rdtsc_timer.h>

#endif /* _BITS_TIMER_H */
8 changes: 0 additions & 8 deletions src/arch/i386/include/bits/timer2.h

This file was deleted.

42 changes: 42 additions & 0 deletions src/arch/i386/include/gpxe/bios_timer.h
@@ -0,0 +1,42 @@
#ifndef _GPXE_BIOS_TIMER_H
#define _GPXE_BIOS_TIMER_H

/** @file
*
* BIOS timer
*
*/

#ifdef TIMER_PCBIOS
#define TIMER_PREFIX_pcbios
#else
#define TIMER_PREFIX_pcbios __pcbios_
#endif

#include <gpxe/timer2.h>

/**
* Delay for a fixed number of microseconds
*
* @v usecs Number of microseconds for which to delay
*/
static inline __always_inline void
TIMER_INLINE ( pcbios, udelay ) ( unsigned long usecs ) {
/* BIOS timer is not high-resolution enough for udelay(), so
* we use timer2
*/
timer2_udelay ( usecs );
}

/**
* Get number of ticks per second
*
* @ret ticks_per_sec Number of ticks per second
*/
static inline __always_inline unsigned long
TIMER_INLINE ( pcbios, ticks_per_sec ) ( void ) {
/* BIOS timer ticks over at 18.2 ticks per second */
return 18;
}

#endif /* _GPXE_BIOS_TIMER_H */
37 changes: 37 additions & 0 deletions src/arch/i386/include/gpxe/rdtsc_timer.h
@@ -0,0 +1,37 @@
#ifndef _GPXE_RDTSC_TIMER_H
#define _GPXE_RDTSC_TIMER_H

/** @file
*
* RDTSC timer
*
*/

#ifdef TIMER_RDTSC
#define TIMER_PREFIX_rdtsc
#else
#define TIMER_PREFIX_rdtsc __rdtsc_
#endif

/**
* RDTSC values can easily overflow an unsigned long. We discard the
* low-order bits in order to obtain sensibly-scaled values.
*/
#define TSC_SHIFT 8

/**
* Get current system time in ticks
*
* @ret ticks Current time, in ticks
*/
static inline __always_inline unsigned long
TIMER_INLINE ( rdtsc, currticks ) ( void ) {
unsigned long ticks;

__asm__ __volatile__ ( "rdtsc\n\t"
"shrdl %1, %%edx, %%eax\n\t"
: "=a" ( ticks ) : "i" ( TSC_SHIFT ) : "edx" );
return ticks;
}

#endif /* _GPXE_RDTSC_TIMER_H */
12 changes: 12 additions & 0 deletions src/arch/i386/include/gpxe/timer2.h
@@ -0,0 +1,12 @@
#ifndef _GPXE_TIMER2_H
#define _GPXE_TIMER2_H

/** @file
*
* Timer chip control
*
*/

extern void timer2_udelay ( unsigned long usecs );

#endif /* _GPXE_TIMER2_H */

0 comments on commit 16f1e35

Please sign in to comment.