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

  /src/sys/stand/efiboot/bootaa64/
efibootaa64.c 52 u_long fdt_start, fdt_size; local in function:efi_boot_kernel
57 fdt_start = (u_long)efi_fdt_data();
62 aarch64_dcache_wbinv_range(fdt_start, fdt_size);
66 aarch64_exec_kernel((paddr_t)kernel_entry, (paddr_t)fdt_start);
  /src/sys/stand/efiboot/bootriscv64/
efibootriscv64.c 58 register_t fdt_start; /* a1 */ local in function:efi_boot_kernel
63 fdt_start = (register_t)efi_fdt_data();
67 entry_fn(hart_id, fdt_start);

Completed in 13 milliseconds