Is HPET timer accessible in userland?

[Paul Swanson]

Hi,

Is the HPET timer on AMD64 available to
developers in OpenBSD user land?

If so, how?

Thanks in advance,

Paul S.