Symbol: vald_acpi_dssx_set
sys/dev/acpi/vald_acpi.c
155
static ACPI_STATUS vald_acpi_dssx_set(uint32_t);
sys/dev/acpi/vald_acpi.c
621
rv = vald_acpi_dssx_set(value);