Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]

Groups > linux.kernel > #1641004

Re: [Xen-devel] HPET enabled in BIOS, not presented as available_clocksource -- config, kernel code, &/or BIOS?

Path csiph.com!aioe.org!bofh.it!news.nic.it!robomod
From Valentin Vidic <Valentin.Vidic@CARNet.hr>
Newsgroups linux.kernel
Subject Re: [Xen-devel] HPET enabled in BIOS, not presented as available_clocksource -- config, kernel code, &/or BIOS?
Date Sat, 13 May 2017 22:30:01 +0200
Message-ID <tGLPP-73-5@gated-at.bofh.it> (permalink)
References <tGv8l-5SF-1@gated-at.bofh.it> <tGJkZ-6O2-9@gated-at.bofh.it> <tGJXH-7hM-3@gated-at.bofh.it> <tGKTM-7SS-15@gated-at.bofh.it> <tGLd8-82A-9@gated-at.bofh.it> <tGLd8-82A-7@gated-at.bofh.it> <tGLmN-88a-5@gated-at.bofh.it> <tGLwt-8r2-7@gated-at.bofh.it>
X-Original-To PGNet Dev <pgnet.dev@gmail.com>
MIME-Version 1.0
Content-Type text/plain; charset=us-ascii
Content-Disposition inline
User-Agent NeoMutt/20170306 (1.8.0)
X-Sa-Exim-Connect-IP 161.53.12.131
X-Sa-Exim-Version 4.2.1 (built Mon, 26 Dec 2011 16:24:06 +0000)
Sender robomod@news.nic.it
List-ID <linux-kernel.vger.kernel.org>
X-Mailing-List linux-kernel@vger.kernel.org
Approved robomod@news.nic.it
Lines 26
Organization linux.* mail to news gateway
X-Original-Cc Andrew Cooper <andrew.cooper3@citrix.com>, Randy Dunlap <rdunlap@infradead.org>, "linux-kernel@vger.kernel.org" <linux-kernel@vger.kernel.org>, Clemens Ladisch <clemens@ladisch.de>, xen-devel@lists.xenproject.org
X-Original-Date Sat, 13 May 2017 22:28:11 +0200
X-Original-Message-ID <20170513202811.j5mhumhvow3gadms@gavran.carpriv.carnet.hr>
X-Original-References <61d510e2-0353-ddf2-f63c-8a1688a6b6ed@gmail.com> <9ff8ca5a-727d-13c3-7c39-6383e00d2edf@infradead.org> <ccad7dbf-2136-ea7e-1919-8d94460096c9@gmail.com> <2c84903a-ab24-a073-378b-82fe6052e6ac@infradead.org> <927a6245-ae8b-ff4b-d668-a819b8351152@citrix.com> <34c505d9-9dc6-8982-4875-74dedfc5e0d1@gmail.com> <be4448d3-7661-8653-c65f-2a023292b842@citrix.com> <dcd8d407-4597-b754-2efa-a81fcd9e8a83@gmail.com>
X-Original-Sender linux-kernel-owner@vger.kernel.org
Xref csiph.com linux.kernel:1641004

Show key headers only | View raw

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` and not `dmesg` output?

On Debian jessie it looks like the hypervisor is using
HPET by default as expected:

# xl dmesg | grep -i hpet
(XEN) ACPI: HPET 7986E860, 0038 (r1 SUPERM SMCI--MB        1 INTL 20091013)
(XEN) Platform timer is 14.318MHz HPET

# dmesg | grep -i hpet
[    0.000000] ACPI: HPET id: 0x8086a701 base: 0xfed00000
[   64.157167] hpet_acpi_add: no address or irqs in _CRS

-- 
Valentin

Back to linux.kernel | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll thread

Thread

HPET enabled in BIOS, not presented as available_clocksource --  config, kernel code, &/or BIOS? PGNet Dev <pgnet.dev@gmail.com> - 2017-05-13 04:40 +0200
  Re: HPET enabled in BIOS, not presented as available_clocksource --  config, kernel code, &/or BIOS? Randy Dunlap <rdunlap@infradead.org> - 2017-05-13 19:50 +0200
    Re: HPET enabled in BIOS, not presented as available_clocksource --  config, kernel code, &/or BIOS? PGNet Dev <pgnet.dev@gmail.com> - 2017-05-13 20:30 +0200
      Re: HPET enabled in BIOS, not presented as available_clocksource --  config, kernel code, &/or BIOS? Randy Dunlap <rdunlap@infradead.org> - 2017-05-13 21:30 +0200
        Re: [Xen-devel] HPET enabled in BIOS, not presented as  available_clocksource -- config, kernel code, &/or BIOS? PGNet Dev <pgnet.dev@gmail.com> - 2017-05-13 21:50 +0200
          Re: [Xen-devel] HPET enabled in BIOS, not presented as  available_clocksource -- config, kernel code, &/or BIOS? Andrew Cooper <andrew.cooper3@citrix.com> - 2017-05-13 22:00 +0200
            Re: [Xen-devel] HPET enabled in BIOS, not presented as  available_clocksource -- config, kernel code, &/or BIOS? PGNet Dev <pgnet.dev@gmail.com> - 2017-05-13 22:10 +0200
              Re: [Xen-devel] HPET enabled in BIOS, not presented as  available_clocksource -- config, kernel code, &/or BIOS? Andrew Cooper <andrew.cooper3@citrix.com> - 2017-05-13 22:20 +0200
                Re: [Xen-devel] HPET enabled in BIOS, not presented as  available_clocksource -- config, kernel code, &/or BIOS? PGNet Dev <pgnet.dev@gmail.com> - 2017-05-13 23:10 +0200
                Re: [Xen-devel] HPET enabled in BIOS, not presented as  available_clocksource -- config, kernel code, &/or BIOS? Juergen Gross <jgross@suse.com> - 2017-05-14 19:20 +0200
              Re: [Xen-devel] HPET enabled in BIOS, not presented as  available_clocksource -- config, kernel code, &/or BIOS? Valentin Vidic <Valentin.Vidic@CARNet.hr> - 2017-05-13 22:30 +0200
                Re: [Xen-devel] HPET enabled in BIOS, not presented as  available_clocksource -- config, kernel code, &/or BIOS? PGNet Dev <pgnet.dev@gmail.com> - 2017-05-13 23:10 +0200
                Re: [Xen-devel] HPET enabled in BIOS, not presented as  available_clocksource -- config, kernel code, &/or BIOS? Valentin Vidic <Valentin.Vidic@CARNet.hr> - 2017-05-13 23:40 +0200
                Re: [Xen-devel] HPET enabled in BIOS, not presented as  available_clocksource -- config, kernel code, &/or BIOS? PGNet Dev <pgnet.dev@gmail.com> - 2017-05-14 00:00 +0200
                Re: [Xen-devel] HPET enabled in BIOS, not presented as  available_clocksource -- config, kernel code, &/or BIOS? Valentin Vidic <Valentin.Vidic@CARNet.hr> - 2017-05-14 00:20 +0200
                Re: [Xen-devel] HPET enabled in BIOS, not presented as  available_clocksource -- config, kernel code, &/or BIOS? PGNet Dev <pgnet.dev@gmail.com> - 2017-05-14 01:20 +0200
                Re: [Xen-devel] HPET enabled in BIOS, not presented as  available_clocksource -- config, kernel code, &/or BIOS? Andrew Cooper <andrew.cooper3@citrix.com> - 2017-05-14 17:50 +0200
                Re: [Xen-devel] HPET enabled in BIOS, not presented as  available_clocksource -- config, kernel code, &/or BIOS? Randy Dunlap <rdunlap@infradead.org> - 2017-05-14 19:50 +0200
                Re: [Xen-devel] HPET enabled in BIOS, not presented as  available_clocksource -- config, kernel code, &/or BIOS? "Austin S. Hemmelgarn" <ahferroin7@gmail.com> - 2017-05-15 20:10 +0200
                Re: [Xen-devel] HPET enabled in BIOS, not presented as  available_clocksource -- config, kernel code, &/or BIOS? PGNet Dev <pgnet.dev@gmail.com> - 2017-05-17 02:20 +0200
        Re: [Xen-devel] HPET enabled in BIOS, not presented as  available_clocksource -- config, kernel code, &/or BIOS? Andrew Cooper <andrew.cooper3@citrix.com> - 2017-05-13 22:10 +0200
    Re: HPET enabled in BIOS, not presented as available_clocksource --  config, kernel code, &/or BIOS? PGNet Dev <pgnet.dev@gmail.com> - 2017-05-13 22:00 +0200
    Re: HPET enabled in BIOS, not presented as available_clocksource --  config, kernel code, &/or BIOS? Clemens Ladisch <clemens@ladisch.de> - 2017-05-13 22:00 +0200

csiph-web