Symbol: acpicpu_tstate_set_xcall
sys/dev/acpi/acpi_cpu_tstate.c
52
static void acpicpu_tstate_set_xcall(void *, void *);
sys/dev/acpi/acpi_cpu_tstate.c
755
xc = xc_broadcast(0, acpicpu_tstate_set_xcall, &percent, NULL);