Symbol: acpi_get_pct
sys/dev/xen/cpu/xen_acpi_cpu.c
405
error = acpi_get_pct(pkg, 0, &sc->control_register);
sys/dev/xen/cpu/xen_acpi_cpu.c
411
error = acpi_get_pct(pkg, 1, &sc->status_register);