31 #include "qemu/config-file.h"
32 #include "qemu/error-report.h"
33 #include "qemu/guest-random.h"
57     CPUMBState *env = &cpu->env;  in main_cpu_reset()
60     env->regs[5] = boot_info.cmdline;  in main_cpu_reset()
61     env->regs[6] = boot_info.initrd_start;  in main_cpu_reset()
62     env->regs[7] = boot_info.fdt;  in main_cpu_reset()
89     qemu_fdt_setprop(fdt, "/chosen", "rng-seed", rng_seed, sizeof(rng_seed));  in microblaze_load_dtb()
100         qemu_fdt_setprop_cell(fdt, "/chosen", "linux,initrd-start",  in microblaze_load_dtb()
103         qemu_fdt_setprop_cell(fdt, "/chosen", "linux,initrd-end",  in microblaze_load_dtb()
114     return addr - 0x30000000LL;  in translate_kernel_address()
128     kernel_filename = current_machine->kernel_filename;  in microblaze_load_kernel()
129     kernel_cmdline = current_machine->kernel_cmdline;  in microblaze_load_kernel()
130     dtb_arg = current_machine->dtb;  in microblaze_load_kernel()
160         /* If it wasn't an ELF image, try an u-boot image.  */  in microblaze_load_kernel()
170         /* Not an ELF image nor an u-boot image, try a RAW image.  */  in microblaze_load_kernel()
184             initrd_offset = boot_info.initrd_start - ddr_base;  in microblaze_load_kernel()
188                                        ramsize - initrd_offset);  in microblaze_load_kernel()
192                                                   ramsize - initrd_offset);  in microblaze_load_kernel()
207         /* Provide a device-tree.  */  in microblaze_load_kernel()
213                             /* Preference a -dtb argument */  in microblaze_load_kernel()