Skip site navigation (1)Skip section navigation (2)

FreeBSD Manual Pages


home | help
HPET(4)			 BSD Kernel Interfaces Manual		       HPET(4)

     hpet -- High Precision Event Timer	driver

     To	compile	this driver into the kernel, place the following lines in your
     kernel configuration file:

	   device acpi

     The following tunables are	settable from the loader(8):

     is	a 32bit	mask. Each set bit allows driver to use	respective IRQ,	if
     BIOS also set respective capability bit in	comparator's configuration
     register.	Default	value is 0xffff0000, except some known broken hard-

     controls event timers functionality support. Setting to 0,	disables it.
     Default value is 1.

     controls "LegacyReplacement Route"	mode. If enabled, HPET will steal IRQ0
     of	i8254 timer and	IRQ8 of	RTC. Before using it, make sure	that respec-
     tive drivers are not using	interrupts, by setting also:

     Default value is 0.

     controls how much per-CPU event timers should driver attempt to register.
     This functionality	requires every comparator in a group to	have own un-
     shared IRQ, so it depends on hardware capabilities	and interrupts config-
     uration.  Default value is	1.

     This driver uses High Precision Event Timer hardware (part	of the
     chipset, usually enumerated via ACPI) to supply kernel with one time
     counter and several (usually from 3 to 8) event timers.  This hardware
     includes single main counter with known increment frequency (10MHz	or
     more), and	several	programmable comparators (optionally with automatic
     reload feature).  When value of the main counter matches current value of
     any comparator, interrupt can be generated.  Depending on hardware	capa-
     bilities and configuration, interrupt can be delivered as regular I/O
     APIC interrupt (ISA or PCI) in range from 0 to 31,	or as Front Side Bus
     interrupt,	alike to PCI MSI interrupts, or	in so called "LegacyReplace-
     ment Route" HPET can steal	IRQ0 of	i8254 and IRQ8 of the RTC.  Interrupt
     can be either edge- or level-triggered. In	last case they could be	safely
     shared with PCI IRQs.  Driver prefers to use FSB interrupts, if sup-
     ported, to	avoid sharing.	If it is not possible, it uses single sharable
     IRQ from PCI range.  Other	modes (LegacyReplacement and ISA IRQs) require
     special care to setup, but	could be configured manually via device	hints.

     Event timers provided by the driver support both one-shot an periodic
     modes and irrelevant to CPU power states.

     Depending on hardware capabilities	and configuration, driver can expose
     each comparator as	separate event timer or	group them into	one or several
     per-CPU event timers. In last case	interrupt of every of those compara-
     tors within group is bound	to specific CPU	core. This is possible only
     when each of these	comparators has	own unsharable IRQ.

     acpi(4), apic(4), atrtc(4), attimer(4), eventtimers(4), timecounters(4)

     The hpet driver first appeared in FreeBSD 6.3.  Support for event timers
     was added in FreeBSD 9.0.

BSD			      September	14, 2010			   BSD


Want to link to this manual page? Use this URL:

home | help