HomeSort by: relevance | last modified time | path
    Searched refs:fdt_setprop_u64 (Results 1 - 2 of 2) sorted by relevancy

  /src/sys/stand/efiboot/
efifdt.c 249 fdt_setprop_u64(fdt_data, chosen, "netbsd,uefi-system-table", (uint64_t)(uintptr_t)ST);
470 fdt_setprop_u64(fdt_data, chosen, "linux,initrd-start", initrd_addr);
471 fdt_setprop_u64(fdt_data, chosen, "linux,initrd-end", initrd_addr + initrd_size);
484 fdt_setprop_u64(fdt_data, chosen, "netbsd,rndseed-start", addr);
485 fdt_setprop_u64(fdt_data, chosen, "netbsd,rndseed-end", addr + size);
498 fdt_setprop_u64(fdt_data, chosen, "netbsd,efirng-start",
500 fdt_setprop_u64(fdt_data, chosen, "netbsd,efirng-end",
712 fdt_setprop_u64(fdt, fdt_path_offset(fdt, "/chosen"), "netbsd,acpi-root-table", (uint64_t)(uintptr_t)acpi_root);
714 fdt_setprop_u64(fdt, fdt_path_offset(fdt, "/chosen"), "netbsd,smbios-table", (uint64_t)(uintptr_t)smbios_table);
  /src/sys/external/bsd/libfdt/dist/
libfdt.h 1655 * fdt_setprop_u64 - set a property to a 64-bit integer
1661 * fdt_setprop_u64() sets the value of the named property in the given
1682 static inline int fdt_setprop_u64(void *fdt, int nodeoffset, const char *name, function in typeref:typename:int

Completed in 13 milliseconds