HCI_VIDEO_OUT_CRT 1467 drivers/platform/x86/toshiba_acpi.c is_crt = (value & HCI_VIDEO_OUT_CRT) ? 1 : 0; HCI_VIDEO_OUT_CRT 1528 drivers/platform/x86/toshiba_acpi.c _set_bit(&new_video_out, HCI_VIDEO_OUT_CRT, crt_out);