First it was documented twice. Since this is a fairly important option document it properly. I kept myself looking for this information again and again. In particular the individual bits are fairly important. And add some warnings. Signed-off-by: Andi Kleen <ak@xxxxxxx> Index: linux/Documentation/kernel-parameters.txt =================================================================== --- linux.orig/Documentation/kernel-parameters.txt +++ linux/Documentation/kernel-parameters.txt @@ -187,13 +187,16 @@ and is between 256 and 4096 characters. 1: enable, 0: disable. It is useful for boot time debugging. After system has booted up, it can be set via /proc/acpi/debug_layer. - - acpi_dbg_level= [HW,ACPI] - Format: <int> - Each bit of the <int> indicates an ACPI debug level, - 1: enable, 0: disable. It is useful for boot time - debugging. After system has booted up, it can be set - via /proc/acpi/debug_level. + CONFIG_ACPI_DEBUG must be enabled for this to produce any output. + Available bits (add the numbers together) to enable debug output + for specific parts of the ACPI subsystem: + 1 utilities 2 hardware 4 events 8 tables + 0x10 namespace 0x20 parser 0x40 dispatcher + 0x80 executer 0x100 resources 0x200 debugger + 0x400 os services + The number can be in decimal or prefixed with 0x in hex. + Warning: Many of these options can produce a lot of + output and make your system unusable. Be very careful. acpi_fake_ecdt [HW,ACPI] Workaround failure due to BIOS lacking ECDT - To unsubscribe from this list: send the line "unsubscribe linux-acpi" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
