acpi_aml_user_readable 625 drivers/acpi/acpi_dbg.c acpi_aml_user_readable()); acpi_aml_user_readable 723 drivers/acpi/acpi_dbg.c if (acpi_aml_user_readable())