acpi_video_detect_exit 86 drivers/acpi/acpi_video.c void acpi_video_detect_exit(void); acpi_video_detect_exit 2289 drivers/acpi/acpi_video.c acpi_video_detect_exit();