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

Groups > linux.kernel > #1641016

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

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 2017-05-14 00:20 +0200
Message-ID <tGNyi-1hx-3@gated-at.bofh.it> (permalink)
References (5 earlier) <tGLwt-8r2-7@gated-at.bofh.it> <tGLPP-73-5@gated-at.bofh.it> <tGMsx-CD-1@gated-at.bofh.it> <tGMVz-O4-3@gated-at.bofh.it> <tGNeV-V8-1@gated-at.bofh.it>
Organization linux.* mail to news gateway

Show all headers | View raw

On Sat, May 13, 2017 at 02:58:54PM -0700, PGNet Dev wrote:
> Does this perhaps imply that Xen correctly uses HPET
> 
> 	(XEN) [VT-D] MSI HPET: 0000:f0:0f.0
> 	(XEN) Platform timer is 14.318MHz HPET

I think so, yes.

> but that Dom0 does not
> 
> 	current_clocksource
> 		tsc

Try booting without 'hpet=force,verbose clocksource=hpet' and it should
select xen by default:

# dmesg | grep -i clocksource
[   58.944215] Switched to clocksource xen

-- 
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