Symbol: xen_upload_cx
sys/dev/xen/cpu/xen_acpi_cpu.c
474
xen_upload_cx(sc);
sys/dev/xen/cpu/xen_acpi_cpu.c
609
xen_upload_cx(sc);