kern/112544: [acpi] [patch] Add High Precision Event Timer Driver for userland timer facility

[gavin at FreeBSD.org]

Synopsis: [acpi] [patch] Add High Precision Event Timer Driver for userland timer facility

State-Changed-From-To: open->patched
State-Changed-By: gavin
State-Changed-When: Tue Jan 29 18:05:51 UTC 2008
State-Changed-Why: 
Was committed to -HEAD a couple of weeks ago.

http://www.freebsd.org/cgi/query-pr.cgi?pr=112544