OF_getpropint64
spinup_data = OF_getpropint64(ci->ci_node,
opp_hz = OF_getpropint64(child, "opp-hz", 0);
spinup_data = OF_getpropint64(ci->ci_node,
opp_hz = OF_getpropint64(child, "opp-hz", 0);
redist_stride = OF_getpropint64(faa->fa_node, "redistributor-stride", 0);
addr = OF_getpropint64(node, "mbi-alias", addr);
opp_hz = OF_getpropint64(child, "opp-hz", 0);
OF_getpropint64(sc->sc_node, "msi-doorbell", 0xffff000ULL);
system_table = OF_getpropint64(node, "openbsd,uefi-system-table", 0);
sc->sc_phb_id = OF_getpropint64(sc->sc_node, "ibm,opal-phbid", 0);
opp_hz = OF_getpropint64(child, "opp-hz", 0);
capmask = OF_getpropint64(sc->sc_node, "sdhci-caps-mask", 0);
capset = OF_getpropint64(sc->sc_node, "sdhci-caps", 0);
uint64_t OF_getpropint64(int handle, char *, uint64_t);