acpi_db_check_integrity  145 drivers/acpi/acpica/acdebug.h void acpi_db_check_integrity(void);
acpi_db_check_integrity  839 drivers/acpi/acpica/dbinput.c 		acpi_db_check_integrity();