efi_fdt_data - NetBSD

57

fdt_start = (u_long)efi_fdt_data();

54

armv7_exec_kernel((register_t)marks[MARK_ENTRY], (register_t)efi_fdt_data());

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();

756

fdt = efi_fdt_data();

37

void *efi_fdt_data(void);