HomeSort by: relevance | last modified time | path
    Searched defs:efirng_end (Results 1 - 1 of 1) sorted by relevancy

  /src/sys/dev/fdt/
fdt_boot.c 107 static uint64_t efirng_start, efirng_end; /* firmware's EFI RNG output */ variable in typeref:typename:uint64_t
278 &efirng_start, &efirng_end);
287 efirng = fdt_map_range(efirng_start, efirng_end, &efirng_size,
339 round_page(efirng_end) - trunc_page(efirng_start);

Completed in 33 milliseconds