From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1754725AbdEMT2I (ORCPT ); Sat, 13 May 2017 15:28:08 -0400 Received: from merlin.infradead.org ([205.233.59.134]:34452 "EHLO merlin.infradead.org" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1753347AbdEMT2H (ORCPT ); Sat, 13 May 2017 15:28:07 -0400 Subject: Re: HPET enabled in BIOS, not presented as available_clocksource -- config, kernel code, &/or BIOS? To: 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> From: Randy Dunlap Message-ID: <2c84903a-ab24-a073-378b-82fe6052e6ac@infradead.org> Date: Sat, 13 May 2017 12:28:03 -0700 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:52.0) Gecko/20100101 Thunderbird/52.1.0 MIME-Version: 1.0 In-Reply-To: Content-Type: text/plain; charset=utf-8 Content-Language: en-US Content-Transfer-Encoding: 7bit Sender: linux-kernel-owner@vger.kernel.org List-ID: X-Mailing-List: linux-kernel@vger.kernel.org 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? release : 4.11.0-4.gcb15206-default xen_version : 4.9.0_04-493 Original message is here: http://marc.info/?l=linux-kernel&m=149464267427111&w=2 Thanks. >>> [ 8.491738] hpet_acpi_add: no address or irqs in _CRS >> >> Above line marks a big failure. ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ > > I suspected that's problematic. > > In the non-Xen case > > dmesg | grep -i hpet > [ 0.000000] ACPI: HPET 0x000000009E8298F8 000038 (v01 SUPERM SMCI--MB 01072009 AMI. 00000005) > [ 0.000000] ACPI: HPET id: 0x8086a701 base: 0xfed00000 > [ 0.000000] clocksource: hpet: mask: 0xffffffff max_cycles: 0xffffffff, max_idle_ns: 133484882848 ns > [ 0.000000] hpet clockevent registered > [ 0.144010] DMAR-IR: HPET id 0 under DRHD base 0xfed90000 > [ 1.398047] hpet0: at MMIO 0xfed00000, IRQs 2, 8, 0, 0, 0, 0, 0, 0 > [ 1.404226] hpet0: 8 comparators, 64-bit 14.318180 MHz counter > [ 1.412080] clocksource: Switched to clocksource hpet > [ 3.627234] rtc_cmos 00:02: alarms up to one month, y3k, 242 bytes nvram, hpet irqs > -- ~Randy