linux-kernel - Re: HPET enabled in BIOS, not presented as available_clocksource -- config, kernel code, &/or BIOS?

lists.openwall.net		lists / announce owl-users owl-dev john-users john-dev passwdqc-users yescrypt popa3d-users / oss-security kernel-hardening musl sabotage tlsify passwords / crypt-dev xvendor / Bugtraq Full-Disclosure linux-kernel linux-netdev linux-ext4 linux-hardening linux-cve-announce PHC
Open Source and information security mailing list archives

Hash Suite: Windows password security audit tool. GUI, reports in PDF.

[<prev] [next>] [<thread-prev] [thread-next>] [day] [month] [year] [list]

Message-ID: <2c84903a-ab24-a073-378b-82fe6052e6ac@infradead.org>
Date:   Sat, 13 May 2017 12:28:03 -0700
From:   Randy Dunlap <rdunlap@...radead.org>
To:     pgnet.dev@...il.com,
        "linux-kernel@...r.kernel.org" <linux-kernel@...r.kernel.org>,
        Clemens Ladisch <clemens@...isch.de>,
        xen-devel@...ts.xenproject.org
Subject: Re: HPET enabled in BIOS, not presented as available_clocksource --
 config, kernel code, &/or BIOS?

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