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

  /src/sys/stand/efiboot/bootriscv64/
efibootriscv64.c 42 const int chosen = fdt_path_offset(efi_fdt_data(), "/chosen");
45 data = fdt_getprop(efi_fdt_data(), chosen, "boot-hartid", NULL);
63 fdt_start = (register_t)efi_fdt_data();
  /src/sys/stand/efiboot/bootarm/
efibootarm.c 54 armv7_exec_kernel((register_t)marks[MARK_ENTRY], (register_t)efi_fdt_data());
  /src/sys/stand/efiboot/
efifdt.h 37 void *efi_fdt_data(void);
efifdt.c 122 efi_fdt_data(void) function in typeref:typename:void *
756 fdt = efi_fdt_data();
  /src/sys/stand/efiboot/bootaa64/
efibootaa64.c 57 fdt_start = (u_long)efi_fdt_data();

Completed in 13 milliseconds