http://bugzilla.kernel.org/show_bug.cgi?id=9163





------- Comment #35 from [EMAIL PROTECTED]  2008-01-08 01:54 -------
$ cat /proc/cmdline
root=/dev/sda1 ro vga=791 printk.time=Y hpet=disabled nohz=off

$ zgrep -e NO_HZ -e HIGH_RES -e HPET /proc/config.gz
CONFIG_NO_HZ=y
CONFIG_HIGH_RES_TIMERS=y
CONFIG_HPET_TIMER=y
CONFIG_HPET_EMULATE_RTC=y
# CONFIG_HPET is not set

Apparently I can substitute "highres=off" with "hpet=disabled".


-- 
Configure bugmail: http://bugzilla.kernel.org/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug, or are watching someone who is.

-------------------------------------------------------------------------
Check out the new SourceForge.net Marketplace.
It's the best place to buy or sell services for
just about anything Open Source.
http://ad.doubleclick.net/clk;164216239;13503038;w?http://sf.net/marketplace
_______________________________________________
acpi-bugzilla mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/acpi-bugzilla

Reply via email to