Symbol: acpicpu_getpct
sys/dev/acpi/acpicpu_x86.c
164
int acpicpu_getpct(struct acpicpu_softc *);
sys/dev/acpi/acpicpu_x86.c
800
if (acpicpu_getpct(sc))