[<prev] [next>] [<thread-prev] [thread-next>] [day] [month] [year] [list]
Message-ID: <dcd8d407-4597-b754-2efa-a81fcd9e8a83@gmail.com>
Date: Sat, 13 May 2017 13:05:22 -0700
From: PGNet Dev <pgnet.dev@...il.com>
To: Andrew Cooper <andrew.cooper3@...rix.com>,
Randy Dunlap <rdunlap@...radead.org>,
"linux-kernel@...r.kernel.org" <linux-kernel@...r.kernel.org>,
Clemens Ladisch <clemens@...isch.de>,
xen-devel@...ts.xenproject.org
Subject: Re: [Xen-devel] HPET enabled in BIOS, not presented as
available_clocksource -- config, kernel code, &/or BIOS?
On 5/13/17 12:59 PM, Andrew Cooper wrote:
> Ok. Lack of a clocksource is to be expected.
>
> The reason why the HPETs are unavailable is that dom0 is not a position
> to program them; dom0 doesn't know what Xen has set up in the IDT.
>
> Use `xl dmesg` to get to the hypervisor dmesg log. You should see
> mention of the HPET in there if Xen has found it.
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.
Powered by blists - more mailing lists