bios_timer.h File Reference

BIOS timer. More...

#include <gpxe/timer2.h>

Go to the source code of this file.

Defines
#define	TIMER_PREFIX_pcbios   __pcbios_
Functions
	FILE_LICENCE (GPL2_OR_LATER)
static __always_inline void	TIMER_INLINE (pcbios, udelay)(unsigned long usecs)
	Delay for a fixed number of microseconds.
static __always_inline unsigned long	TIMER_INLINE (pcbios, ticks_per_sec)(void)
	Get number of ticks per second.

---

Detailed Description

BIOS timer.

Definition in file bios_timer.h.

---

Define Documentation

#define TIMER_PREFIX_pcbios   __pcbios_

Definition at line 15 of file bios_timer.h.

---

Function Documentation

FILE_LICENCE

(

GPL2_OR_LATER

)

static __always_inline void TIMER_INLINE	(	pcbios	,
		udelay
	)			[inline, static]

Delay for a fixed number of microseconds.

Parameters:

usecs

Number of microseconds for which to delay

Definition at line 26 of file bios_timer.h.

References timer2_udelay().

                                                        {
        /* BIOS timer is not high-resolution enough for udelay(), so
         * we use timer2
         */
        timer2_udelay ( usecs );
}

static __always_inline unsigned long TIMER_INLINE	(	pcbios	,
		ticks_per_sec
	)			[inline, static]

Get number of ticks per second.

Return values:

ticks_per_sec

Number of ticks per second

Definition at line 39 of file bios_timer.h.

                                                {
        /* BIOS timer ticks over at 18.2 ticks per second */
        return 18;
}