acpicpu_pstate_max
static int acpicpu_pstate_max(struct acpicpu_softc *);
obj[1].Integer.Value = acpicpu_pstate_max(sc);