acpi_gbl_device_notify 439 drivers/acpi/acpica/utdecode.c static const char *acpi_gbl_device_notify[5] = { acpi_gbl_device_notify 484 drivers/acpi/acpica/utdecode.c return (acpi_gbl_device_notify[notify_value - 0x80]);