of_getprop_uint64
if (of_getprop_uint64(chosen, "netbsd,acpi-root-table", &pa) != 0)
if (of_getprop_uint64(phandle, "msi-doorbell", &sc->sc_msi_addr)) {
of_getprop_uint64(phandle, "cpu-release-addr", &release_addr) == 0) {
of_getprop_uint64(chosen, "netbsd,smbios-table", &smbios_table);
if (of_getprop_uint64(chosen, "netbsd,uefi-system-table", &efi_system_table) != 0)
if (of_getprop_uint64(phandle, "cpu-release-addr", &addr) != 0)
if (of_getprop_uint64(sc->sc_phandle, "mbi-alias", &addr) != 0 &&
if (of_getprop_uint64(opp_node, "opp-hz", &opp_hz) != 0)
int of_getprop_uint64(int, const char *, uint64_t *);