Symbol: acpi_fetch_px
sys/dev/xen/cpu/xen_acpi_cpu.c
464
if (acpi_fetch_px(sc) != 0)
sys/dev/xen/cpu/xen_acpi_cpu.c
597
error = acpi_fetch_px(sc);