Symbol: HCI_REG_CX
sys/dev/acpi_support/acpi_toshiba.c
424
obj[HCI_REG_CX].Integer.Value = *arg;
sys/dev/acpi_support/acpi_toshiba.c
441
acpi_PkgInt32(res, HCI_REG_CX, arg);