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

  /src/sys/dev/fdt/
fdt_boot.c 251 uint64_t rndseed_size; local
254 rndseed = fdt_map_range(rndseed_start, rndseed_end, &rndseed_size,
258 rnd_seed(rndseed, rndseed_size);
259 fdt_unmap_range(rndseed, rndseed_size);
265 const uint64_t rndseed_size = local
268 if (rndseed_size > 0)
270 rndseed_size); local
  /src/sys/stand/efiboot/
efifdt.c 70 static u_long initrd_size = 0, dtb_size = 0, rndseed_size = 0; variable
631 &rndseed_addr, &rndseed_size); local
637 efi_fdt_rndseed(rndseed_addr, rndseed_size);
662 uefi_call_wrapper(BS->FreePages, 2, rndseed_addr, EFI_SIZE_TO_PAGES(rndseed_size));
664 rndseed_size = 0;

Completed in 84 milliseconds