Symbol: acpicpu_getppc
sys/dev/acpi/acpicpu_x86.c
1031
acpicpu_getppc(sc);
sys/dev/acpi/acpicpu_x86.c
163
int acpicpu_getppc(struct acpicpu_softc *);
sys/dev/acpi/acpicpu_x86.c
799
acpicpu_getppc(sc);