Symbol: HCI_REG_DX
sys/dev/acpi/valz_acpi.c
443
input[HCI_REG_DX] = 0;
sys/dev/acpi/valz_acpi.c
472
input[HCI_REG_DX] = 0;