Re: [Xen-devel] HPET enabled in BIOS, not presented as available_clocksource -- config, kernel code, &/or BIOS?

[PGNet Dev]

On 5/13/17 1:28 PM, Valentin Vidic wrote:
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`

yep.

xl dmesg | grep -i hpet   | grep -vi command
 [    1.365876] hpet_acpi_add: no address or irqs in _CRS
 [    1.365876] hpet_acpi_add: no address or irqs in _CRS

> and not `dmesg` output?

AND

dmesg | grep -i hpet   | grep -vi command
 [    0.000000] ACPI: HPET 0x000000009E8298F8 000038 (v01 SUPERM 
SMCI--MB 01072009 AMI. 00000005)
 [    0.000000] ACPI: HPET id: 0x8086a701 base: 0xfed00000
 [    1.365876] hpet_acpi_add: no address or irqs in _CRS