Symbol: HCI_REG_VIDEO_OUTPUT
sys/dev/acpi/acpitoshiba.c
472
args[HCI_REG_BX].v_integer = HCI_REG_VIDEO_OUTPUT;
sys/dev/acpi/acpitoshiba.c
511
args[HCI_REG_BX].v_integer = HCI_REG_VIDEO_OUTPUT;