acpi_aml_user_writable 695 drivers/acpi/acpi_dbg.c acpi_aml_user_writable()); acpi_aml_user_writable 725 drivers/acpi/acpi_dbg.c if (acpi_aml_user_writable())