Symbol: xen_upload_px
sys/dev/xen/cpu/xen_acpi_cpu.c
466
xen_upload_px(sc);
sys/dev/xen/cpu/xen_acpi_cpu.c
600
error = xen_upload_px(sc);