Symbol: acpicpu_set_pdc
sys/dev/acpi/acpicpu_x86.c
172
void acpicpu_set_pdc(struct acpicpu_softc *);
sys/dev/acpi/acpicpu_x86.c
734
acpicpu_set_pdc(sc);