ACPI: boot correctly with "nosmp" or "maxcpus=0"
[powerpc.git] / Documentation / hrtimer /
drwxr-xr-x   ..
-rw-r--r-- 3044 timer_stats.txt