HCI_VIDEO_OUT_TV 1468 drivers/platform/x86/toshiba_acpi.c 	is_tv = (value & HCI_VIDEO_OUT_TV) ? 1 : 0;
HCI_VIDEO_OUT_TV 1530 drivers/platform/x86/toshiba_acpi.c 			_set_bit(&new_video_out, HCI_VIDEO_OUT_TV, tv_out);