acpitz_get_integer
static int acpitz_get_integer(device_t, const char *, uint32_t *);
if (acpitz_get_integer(dv, "_TMP", &tmp) != 0)
if (acpitz_get_integer(dv, buf, &sc->sc_zone.ac[i]))
(void)acpitz_get_integer(dv, "_TMP", &sc->sc_zone.tmp);
(void)acpitz_get_integer(dv, "_CRT", &sc->sc_zone.crt);
(void)acpitz_get_integer(dv, "_HOT", &sc->sc_zone.hot);
(void)acpitz_get_integer(dv, "_PSV", &sc->sc_zone.psv);
(void)acpitz_get_integer(dv, "_TC1", &sc->sc_zone.tc1);
(void)acpitz_get_integer(dv, "_TC2", &sc->sc_zone.tc2);
acpitz_get_integer(dv, "_RTV", &sc->sc_zone.rtv);