Searched refs:fdt_start (Results 1 - 2 of 2) sorted by relevance

/netbsd-current/sys/stand/efiboot/bootriscv64/
H A Defibootriscv64.c58 register_t fdt_start; /* a1 */ local
63 fdt_start = (register_t)efi_fdt_data();
67 entry_fn(hart_id, fdt_start);
/netbsd-current/sys/stand/efiboot/bootaa64/
H A Defibootaa64.c51 u_long fdt_start, fdt_size; local
56 fdt_start = (u_long)efi_fdt_data();
61 aarch64_dcache_wbinv_range(fdt_start, fdt_size);
65 aarch64_exec_kernel((paddr_t)kernel_entry, (paddr_t)fdt_start);

Completed in 126 milliseconds