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