From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1758567AbdEMUAj (ORCPT ); Sat, 13 May 2017 16:00:39 -0400 Received: from ppsw-30.csi.cam.ac.uk ([131.111.8.130]:52282 "EHLO ppsw-30.csi.cam.ac.uk" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1758228AbdEMUAi (ORCPT ); Sat, 13 May 2017 16:00:38 -0400 X-Cam-AntiVirus: no malware found X-Cam-ScannerInfo: http://help.uis.cam.ac.uk/email-scanner-virus Subject: Re: [Xen-devel] HPET enabled in BIOS, not presented as available_clocksource -- config, kernel code, &/or BIOS? To: Randy Dunlap , pgnet.dev@gmail.com, "linux-kernel@vger.kernel.org" , Clemens Ladisch , xen-devel@lists.xenproject.org References: <61d510e2-0353-ddf2-f63c-8a1688a6b6ed@gmail.com> <9ff8ca5a-727d-13c3-7c39-6383e00d2edf@infradead.org> <2c84903a-ab24-a073-378b-82fe6052e6ac@infradead.org> From: Andrew Cooper Message-ID: <927a6245-ae8b-ff4b-d668-a819b8351152@citrix.com> Date: Sat, 13 May 2017 20:38:33 +0100 User-Agent: Mozilla/5.0 (Windows NT 6.1; WOW64; rv:52.0) Gecko/20100101 Thunderbird/52.1.0 MIME-Version: 1.0 In-Reply-To: <2c84903a-ab24-a073-378b-82fe6052e6ac@infradead.org> Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 7bit Content-Language: en-GB Sender: linux-kernel-owner@vger.kernel.org List-ID: X-Mailing-List: linux-kernel@vger.kernel.org On 13/05/2017 20:28, Randy Dunlap wrote: > On 05/13/17 11:26, PGNet Dev wrote: >> On 5/13/17 10:41 AM, Randy Dunlap wrote: >>> [adding HPET driver maintainer] >> Thanks >> >>> A couple of comments below... >>>> In BIOS, HPET's enabled. >>> How about if you just boot Linux without Xen? Does HPET show up then? >> yes, it appears so: >> >> cat devices/system/clocksource/clocksource0/available >> tsc hpet acpi_pm > Adding xen mailing list: > > Is HPET support a known issue in Xen? What is the issue here? Xen owns (and may use) any HPETs in the system. They are purposefully unavailable to even dom0. ~Andrew