Arch Linux

lanac

Member

Registered: 2016-02-01

Posts: 6

[SOLVED] HPET not enabled

Hi everyone,

I'm searching for some help with my hardware (AsRock N3150DC). I'm trying to enable HPET so I enabled it though the BIOS but Linux has a problem detecting it :

In the dmesg, I have this line popping :

[    0.000000] ACPI: HPET 0x000000007768B800 000038 (v01 ALASKA A M I    01072009 AMI. 00000006)

... then later :

[    0.000000] ACPI: HPET id: 0x0 base: 0x0 is invalid

What this stands for ? Is HPET not available at all or it is because of a bug in the BIOS ? And should I report it somewhere ?

Thanks for your help !

Last edited by lanac (2016-03-03 07:12:11)

paulkerry

Member

From: Sheffield, UK

Registered: 2014-10-02

Posts: 611

Re: [SOLVED] HPET not enabled

HPET is the "High Precision Event Timer" - more info at https://en.wikipedia.org/wiki/High_Prec … vent_Timer

You can find out which clocksource you are running with...

cat /sys/devices/system/clocksource/clocksource0/current_clocksource

You can find out which clocksources are available on your system with...

cat /sys/devices/system/clocksource/clocksource0/available_clocksource

and you can set your clocksource with the clocksource kernel boot parameter at boot time by adding this to your boot line...

clocksource=hpet

If you want to retain it, you should add the above to your boot loader config (i.e in /etc/default/grub.conf)

GRUB_CMDLINE_LINUX_DEFAULT="clocksource=hpet"

Last edited by paulkerry (2016-02-01 17:01:08)

lanac

Member

Registered: 2016-02-01

Posts: 6

Re: [SOLVED] HPET not enabled

HPET is the "High Precision Event Timer" - more info at https://en.wikipedia.org/wiki/High_Prec … vent_Timer

You can find out which clocksource you are running with...

cat /sys/devices/system/clocksource/clocksource0/current_clocksource

You can find out which clocksources are available on your system with...

cat /sys/devices/system/clocksource/clocksource0/available_clocksource

and you can set your clocksource with the clocksource kernel boot parameter at boot time by adding this to your boot line...

clocksource=hpet

If you want to retain it, you should add the above to your boot loader config (i.e in /etc/default/grub.conf)

GRUB_CMDLINE_LINUX_DEFAULT="clocksource=hpet"

Thanks for your reply paulkerry, here are the results of the commands you gave me :

root@Serveur:~# cat /sys/devices/system/clocksource/clocksource0/current_clocksource
tsc

root@Serveur:~# cat /sys/devices/system/clocksource/clocksource0/available_clocksource
tsc acpi_pm

That's why I opened this thread, I have no HPET available even if it is activated in the BIOS :-(

lucke

Member

From: Poland

Registered: 2004-11-30

Posts: 4,018

Re: [SOLVED] HPET not enabled

Try adding " hpet=force" to the kernel line.

lanac

Member

Registered: 2016-02-01

Posts: 6

Re: [SOLVED] HPET not enabled

Try adding " hpet=force" to the kernel line.

Unfortunately, the results remain the same

ewaller

Administrator

From: Pasadena, CA

Registered: 2009-07-13

Posts: 20,203

Re: [SOLVED] HPET not enabled

If you are sure that your system has the hardware for it, it would appear that the ACPI tables for your system are hosed. 

There are ways to patch ACPI tables, but they are not for the feint of heart or for the uninitiated.  Look into fixing ACPI DSDT tables.

---

Nothing is too wonderful to be true, if it be consistent with the laws of nature -- Michael Faraday
Sometimes it is the people no one can imagine anything of who do the things no one can imagine. -- Alan Turing
---
How to Ask Questions the Smart Way

paulkerry

Member

From: Sheffield, UK

Registered: 2014-10-02

Posts: 611

Re: [SOLVED] HPET not enabled

Is your motherboard bios up to date?

lanac

Member

Registered: 2016-02-01

Posts: 6

Re: [SOLVED] HPET not enabled

Is your motherboard bios up to date?

Yes and I'm in touch with AsRock to help fixing their bugs (at the moment, HPET is buggy, ASPM is not working and I have this line that pop in dmesg :

[    0.000000] ACPI BIOS Warning (bug): 32/64X length mismatch in FADT/Gpe0Block: 128/32 (20150818/tbfadt-623)

That seems to indicate FADT table is not well formatted)

So I reported them the HPET error : either there is no HPET and the option should be removed, either there is a real problem :-) )

I'll keep you in touch about any update, I'm hoping the board will be 100% compatible with Linux !

lanac

Member

Registered: 2016-02-01

Posts: 6

Re: [SOLVED] HPET not enabled

Hi !
Good news for anyone having the same board on Linux !

AsRock managed to send me a new BIOS fixing the problem.

Now I achieved to enable HPET and set it by default thanks to the boot parameters given in this thread.

Thanks everyone for your help !

paulkerry

Member

From: Sheffield, UK

Registered: 2014-10-02

Posts: 611

Re: [SOLVED] HPET not enabled

That's great and thanks for reporting back.
Please remember to prepend "[SOLVED]" to your first post.

brebs

Member

Registered: 2007-04-03

Posts: 3,742

Re: [SOLVED] HPET not enabled

I'm trying to enable HPET

Note that HPET may be better or worse, depending on your CPU & motherboard.

lanac

Member

Registered: 2016-02-01

Posts: 6

Re: [SOLVED] HPET not enabled

I'm trying to enable HPET

Note that HPET may be better or worse, depending on your CPU & motherboard.

I was trying to enable HPET in order to debug this BIOS, specially the ASPM feature which is still broken at the moment :-)