CONFIG_ACPI
#if defined(CONFIG_VGA_SWITCHEROO) && defined(CONFIG_ACPI)
#if defined(CONFIG_ACPI)
#ifdef CONFIG_ACPI
#ifdef CONFIG_ACPI
#ifdef CONFIG_ACPI
#ifdef CONFIG_ACPI
#ifdef CONFIG_ACPI
#if defined(CONFIG_ACPI)
#if defined(CONFIG_ACPI)
#if defined(CONFIG_ACPI)
#if defined(CONFIG_ACPI)
#if defined(CONFIG_ACPI)
#ifdef CONFIG_ACPI
#ifdef CONFIG_ACPI
#ifdef CONFIG_ACPI
#ifdef CONFIG_ACPI
#ifdef CONFIG_ACPI
#if defined(CONFIG_ACPI)
#ifdef CONFIG_ACPI
#ifdef CONFIG_ACPI
#if defined(CONFIG_ACPI)
#if defined(CONFIG_ACPI)
#if defined(CONFIG_ACPI)
#if defined(CONFIG_ACPI)
#if defined(CONFIG_ACPI)
#if defined(CONFIG_ACPI)
#if defined(CONFIG_ACPI)
#if defined(CONFIG_ACPI)
#ifdef CONFIG_ACPI
#ifdef CONFIG_ACPI
#ifdef CONFIG_ACPI
#if defined(CONFIG_ACPI)
#if defined(CONFIG_ACPI)
#if defined(CONFIG_ACPI)