acpi_mps_check    888 arch/x86/kernel/setup.c 	if (acpi_mps_check()) {
acpi_mps_check     85 include/linux/acpi.h int acpi_mps_check (void);