lkml.org 
[lkml]   [2017]   [May]   [13]   [last100]   RSS Feed
Views: [wrap][no wrap]   [headers]  [forward] 
 
Messages in this thread
/
Date
From
SubjectRe: [Xen-devel] HPET enabled in BIOS, not presented as available_clocksource -- config, kernel code, &/or BIOS?
On Sat, May 13, 2017 at 01:05:22PM -0700, PGNet Dev wrote:
> back to the error at hand ...
>
> xl dmesg | grep -i hpet
> [ 1.365876] hpet_acpi_add: no address or irqs in _CRS
> [ 1.365876] hpet_acpi_add: no address or irqs in _CRS
>
> again, only present when booting with Xen.
>
> same kernel, no Xen, no such error.

Are you sure this is `xl dmesg` and not `dmesg` output?

On Debian jessie it looks like the hypervisor is using
HPET by default as expected:

# xl dmesg | grep -i hpet
(XEN) ACPI: HPET 7986E860, 0038 (r1 SUPERM SMCI--MB 1 INTL 20091013)
(XEN) Platform timer is 14.318MHz HPET

# dmesg | grep -i hpet
[ 0.000000] ACPI: HPET id: 0x8086a701 base: 0xfed00000
[ 64.157167] hpet_acpi_add: no address or irqs in _CRS

--
Valentin

\
 
 \ /
  Last update: 2017-05-13 22:28    [W:0.158 / U:0.016 seconds]
©2003-2020 Jasper Spaans|hosted at Digital Ocean and TransIP|Read the blog|Advertise on this site