Searched defs:dtb_filename (Results 1 – 6 of 6) sorted by relevance
74 const char *dtb_filename) in microblaze_load_dtb()120 const char *dtb_filename, in microblaze_load_kernel()
88 const char *dtb_filename = machine->dtb; in rx_gdbsim_init() local
158 const char *dtb_filename; in xilinx_load_device_tree() local
45 const char *dtb_filename; member
644 const char *dtb_filename = machine->dtb; in x86_load_linux() local
234 const char *dtb_filename = machine->dtb; in xtfpga_init() local