void microblaze_load_kernel(MicroBlazeCPU *cpu, hwaddr ddr_base,

                            uint32_t ramsize,

                            const char *initrd_filename,

                            const char *dtb_filename,

                            void (*machine_cpu_reset)(MicroBlazeCPU *))

{

    QemuOpts *machine_opts;

    const char *kernel_filename;

    const char *kernel_cmdline;

    const char *dtb_arg;



    machine_opts = qemu_get_machine_opts();

    kernel_filename = qemu_opt_get(machine_opts, "kernel");

    kernel_cmdline = qemu_opt_get(machine_opts, "append");

    dtb_arg = qemu_opt_get(machine_opts, "dtb");

    if (dtb_arg) { /* Preference a -dtb argument */

        dtb_filename = dtb_arg;

    } else { /* default to pcbios dtb as passed by machine_init */

        dtb_filename = qemu_find_file(QEMU_FILE_TYPE_BIOS, dtb_filename);

    }



    boot_info.machine_cpu_reset = machine_cpu_reset;

    qemu_register_reset(main_cpu_reset, cpu);



    if (kernel_filename) {

        int kernel_size;

        uint64_t entry, low, high;

        uint32_t base32;

        int big_endian = 0;



#ifdef TARGET_WORDS_BIGENDIAN

        big_endian = 1;

#endif



        /* Boots a kernel elf binary.  */

        kernel_size = load_elf(kernel_filename, NULL, NULL,

                               &entry, &low, &high,

                               big_endian, ELF_MACHINE, 0);

        base32 = entry;

        if (base32 == 0xc0000000) {

            kernel_size = load_elf(kernel_filename, translate_kernel_address,

                                   NULL, &entry, NULL, NULL,

                                   big_endian, ELF_MACHINE, 0);

        }

        /* Always boot into physical ram.  */

        boot_info.bootstrap_pc = ddr_base + (entry & 0x0fffffff);



        /* If it wasn't an ELF image, try an u-boot image.  */

        if (kernel_size < 0) {

            hwaddr uentry, loadaddr;



            kernel_size = load_uimage(kernel_filename, &uentry, &loadaddr, 0);

            boot_info.bootstrap_pc = uentry;

            high = (loadaddr + kernel_size + 3) & ~3;

        }



        /* Not an ELF image nor an u-boot image, try a RAW image.  */

        if (kernel_size < 0) {

            kernel_size = load_image_targphys(kernel_filename, ddr_base,

                                              ram_size);

            boot_info.bootstrap_pc = ddr_base;

            high = (ddr_base + kernel_size + 3) & ~3;

        }



        if (initrd_filename) {

            int initrd_size;

            uint32_t initrd_offset;



            high = ROUND_UP(high + kernel_size, 4);

            boot_info.initrd_start = high;

            initrd_offset = boot_info.initrd_start - ddr_base;



            initrd_size = load_ramdisk(initrd_filename,

                                       boot_info.initrd_start,

                                       ram_size - initrd_offset);

            if (initrd_size < 0) {

                initrd_size = load_image_targphys(initrd_filename,

                                                  boot_info.initrd_start,

                                                  ram_size - initrd_offset);

            }

            if (initrd_size < 0) {

                error_report("qemu: could not load initrd '%s'\n",

                             initrd_filename);

                exit(EXIT_FAILURE);

            }

            boot_info.initrd_end = boot_info.initrd_start + initrd_size;

            high = ROUND_UP(high + initrd_size, 4);

        }



        boot_info.cmdline = high + 4096;

        if (kernel_cmdline && strlen(kernel_cmdline)) {

            pstrcpy_targphys("cmdline", boot_info.cmdline, 256, kernel_cmdline);

        }

        /* Provide a device-tree.  */

        boot_info.fdt = boot_info.cmdline + 4096;

        microblaze_load_dtb(boot_info.fdt, ram_size,

                            boot_info.initrd_start,

                            boot_info.initrd_end,

                            kernel_cmdline,

                            dtb_filename);

    }



}

void microblaze_load_kernel(MicroBlazeCPU *cpu, hwaddr ddr_base,

                            uint32_t ramsize,

                            const char *initrd_filename,

                            const char *dtb_filename,

                            void (*machine_cpu_reset)(MicroBlazeCPU *))

{

    QemuOpts *machine_opts;

    const char *kernel_filename;

    const char *kernel_cmdline;

    const char *dtb_arg;



    machine_opts = qemu_get_machine_opts();

    kernel_filename = qemu_opt_get(machine_opts, "kernel");

    kernel_cmdline = qemu_opt_get(machine_opts, "append");

    dtb_arg = qemu_opt_get(machine_opts, "dtb");

    if (dtb_arg) { 

        dtb_filename = dtb_arg;

    } else { 

        dtb_filename = qemu_find_file(QEMU_FILE_TYPE_BIOS, dtb_filename);

    }



    boot_info.machine_cpu_reset = machine_cpu_reset;

    qemu_register_reset(main_cpu_reset, cpu);



    if (kernel_filename) {

        int kernel_size;

        uint64_t entry, low, high;

        uint32_t base32;

        int big_endian = 0;



#ifdef TARGET_WORDS_BIGENDIAN

        big_endian = 1;

#endif



        

        kernel_size = load_elf(kernel_filename, NULL, NULL,

                               &entry, &low, &high,

                               big_endian, ELF_MACHINE, 0);

        base32 = entry;

        if (base32 == 0xc0000000) {

            kernel_size = load_elf(kernel_filename, translate_kernel_address,

                                   NULL, &entry, NULL, NULL,

                                   big_endian, ELF_MACHINE, 0);

        }

        

        boot_info.bootstrap_pc = ddr_base + (entry & 0x0fffffff);



        

        if (kernel_size < 0) {

            hwaddr uentry, loadaddr;



            kernel_size = load_uimage(kernel_filename, &uentry, &loadaddr, 0);

            boot_info.bootstrap_pc = uentry;

            high = (loadaddr + kernel_size + 3) & ~3;

        }



        

        if (kernel_size < 0) {

            kernel_size = load_image_targphys(kernel_filename, ddr_base,

                                              ram_size);

            boot_info.bootstrap_pc = ddr_base;

            high = (ddr_base + kernel_size + 3) & ~3;

        }



        if (initrd_filename) {

            int initrd_size;

            uint32_t initrd_offset;



            high = ROUND_UP(high + kernel_size, 4);

            boot_info.initrd_start = high;

            initrd_offset = boot_info.initrd_start - ddr_base;



            initrd_size = load_ramdisk(initrd_filename,

                                       boot_info.initrd_start,

                                       ram_size - initrd_offset);

            if (initrd_size < 0) {

                initrd_size = load_image_targphys(initrd_filename,

                                                  boot_info.initrd_start,

                                                  ram_size - initrd_offset);

            }

            if (initrd_size < 0) {

                error_report("qemu: could not load initrd '%s'\n",

                             initrd_filename);

                exit(EXIT_FAILURE);

            }

            boot_info.initrd_end = boot_info.initrd_start + initrd_size;

            high = ROUND_UP(high + initrd_size, 4);

        }



        boot_info.cmdline = high + 4096;

        if (kernel_cmdline && strlen(kernel_cmdline)) {

            pstrcpy_targphys("cmdline", boot_info.cmdline, 256, kernel_cmdline);

        }

        

        boot_info.fdt = boot_info.cmdline + 4096;

        microblaze_load_dtb(boot_info.fdt, ram_size,

                            boot_info.initrd_start,

                            boot_info.initrd_end,

                            kernel_cmdline,

                            dtb_filename);

    }



}

        boot_info.bootstrap_pc = ddr_base + (entry & 0x0fffffff);
VAR_6voidVAR_6 VAR_6microblaze_load_kernelVAR_6(VAR_6MicroBlazeCPUVAR_6 *VAR_6VAR_0VAR_6, VAR_6hwaddrVAR_6 VAR_6VAR_1VAR_6,

                            VAR_6uint32_tVAR_6 VAR_6VAR_2VAR_6,

                            VAR_6constVAR_6 VAR_6charVAR_6 *VAR_6VAR_3VAR_6,

                            VAR_6constVAR_6 VAR_6charVAR_6 *VAR_6VAR_4VAR_6,

                            VAR_6voidVAR_6 (*VAR_6VAR_5VAR_6)(VAR_6MicroBlazeCPUVAR_6 *))

{

    VAR_6QemuOptsVAR_6 *VAR_6machine_optsVAR_6;

    VAR_6constVAR_6 VAR_6charVAR_6 *VAR_6kernel_filenameVAR_6;

    VAR_6constVAR_6 VAR_6charVAR_6 *VAR_6kernel_cmdlineVAR_6;

    VAR_6constVAR_6 VAR_6charVAR_6 *VAR_6dtb_argVAR_6;



    VAR_6machine_optsVAR_6 = VAR_6qemu_get_machine_optsVAR_6();

    VAR_6kernel_filenameVAR_6 = VAR_6qemu_opt_getVAR_6(VAR_6machine_optsVAR_6, "VAR_6kernelVAR_6");

    VAR_6kernel_cmdlineVAR_6 = VAR_6qemu_opt_getVAR_6(VAR_6machine_optsVAR_6, "VAR_6appendVAR_6");

    VAR_6dtb_argVAR_6 = VAR_6qemu_opt_getVAR_6(VAR_6machine_optsVAR_6, "VAR_6dtbVAR_6");

    VAR_6ifVAR_6 (VAR_6dtb_argVAR_6) { 

        VAR_6VAR_4VAR_6 = VAR_6dtb_argVAR_6;

    } VAR_6elseVAR_6 { 

        VAR_6VAR_4VAR_6 = VAR_6qemu_find_fileVAR_6(VAR_6QEMU_FILE_TYPE_BIOSVAR_6, VAR_6VAR_4VAR_6);

    }



    VAR_6boot_infoVAR_6.VAR_6VAR_5VAR_6 = VAR_6VAR_5VAR_6;

    VAR_6qemu_register_resetVAR_6(VAR_6main_cpu_resetVAR_6, VAR_6VAR_0VAR_6);



    VAR_6ifVAR_6 (VAR_6kernel_filenameVAR_6) {

        VAR_6intVAR_6 VAR_6kernel_sizeVAR_6;

        VAR_6uint64_tVAR_6 VAR_6entryVAR_6, VAR_6lowVAR_6, VAR_6highVAR_6;

        VAR_6uint32_tVAR_6 VAR_6base32VAR_6;

        VAR_6intVAR_6 VAR_6big_endianVAR_6 = VAR_60VAR_6;



#VAR_6ifdefVAR_6 VAR_6TARGET_WORDS_BIGENDIANVAR_6

        VAR_6big_endianVAR_6 = VAR_61VAR_6;

#VAR_6endifVAR_6



        

        VAR_6kernel_sizeVAR_6 = VAR_6load_elfVAR_6(VAR_6kernel_filenameVAR_6, VAR_6NULLVAR_6, VAR_6NULLVAR_6,

                               &VAR_6entryVAR_6, &VAR_6lowVAR_6, &VAR_6highVAR_6,

                               VAR_6big_endianVAR_6, VAR_6ELF_MACHINEVAR_6, VAR_60VAR_6);

        VAR_6base32VAR_6 = VAR_6entryVAR_6;

        VAR_6ifVAR_6 (VAR_6base32VAR_6 == VAR_60xc0000000VAR_6) {

            VAR_6kernel_sizeVAR_6 = VAR_6load_elfVAR_6(VAR_6kernel_filenameVAR_6, VAR_6translate_kernel_addressVAR_6,

                                   VAR_6NULLVAR_6, &VAR_6entryVAR_6, VAR_6NULLVAR_6, VAR_6NULLVAR_6,

                                   VAR_6big_endianVAR_6, VAR_6ELF_MACHINEVAR_6, VAR_60VAR_6);

        }

        

        VAR_6boot_infoVAR_6.VAR_6bootstrap_pcVAR_6 = VAR_6VAR_1VAR_6 + (VAR_6entryVAR_6 & VAR_60x0fffffffVAR_6);



        

        VAR_6ifVAR_6 (VAR_6kernel_sizeVAR_6 < VAR_60VAR_6) {

            VAR_6hwaddrVAR_6 VAR_6uentryVAR_6, VAR_6loadaddrVAR_6;



            VAR_6kernel_sizeVAR_6 = VAR_6load_uimageVAR_6(VAR_6kernel_filenameVAR_6, &VAR_6uentryVAR_6, &VAR_6loadaddrVAR_6, VAR_60VAR_6);

            VAR_6boot_infoVAR_6.VAR_6bootstrap_pcVAR_6 = VAR_6uentryVAR_6;

            VAR_6highVAR_6 = (VAR_6loadaddrVAR_6 + VAR_6kernel_sizeVAR_6 + VAR_63VAR_6) & ~VAR_63VAR_6;

        }



        

        VAR_6ifVAR_6 (VAR_6kernel_sizeVAR_6 < VAR_60VAR_6) {

            VAR_6kernel_sizeVAR_6 = VAR_6load_image_targphysVAR_6(VAR_6kernel_filenameVAR_6, VAR_6VAR_1VAR_6,

                                              VAR_6ram_sizeVAR_6);

            VAR_6boot_infoVAR_6.VAR_6bootstrap_pcVAR_6 = VAR_6VAR_1VAR_6;

            VAR_6highVAR_6 = (VAR_6VAR_1VAR_6 + VAR_6kernel_sizeVAR_6 + VAR_63VAR_6) & ~VAR_63VAR_6;

        }



        VAR_6ifVAR_6 (VAR_6VAR_3VAR_6) {

            VAR_6intVAR_6 VAR_6initrd_sizeVAR_6;

            VAR_6uint32_tVAR_6 VAR_6initrd_offsetVAR_6;



            VAR_6highVAR_6 = VAR_6ROUND_UPVAR_6(VAR_6highVAR_6 + VAR_6kernel_sizeVAR_6, VAR_64VAR_6);

            VAR_6boot_infoVAR_6.VAR_6initrd_startVAR_6 = VAR_6highVAR_6;

            VAR_6initrd_offsetVAR_6 = VAR_6boot_infoVAR_6.VAR_6initrd_startVAR_6 - VAR_6VAR_1VAR_6;



            VAR_6initrd_sizeVAR_6 = VAR_6load_ramdiskVAR_6(VAR_6VAR_3VAR_6,

                                       VAR_6boot_infoVAR_6.VAR_6initrd_startVAR_6,

                                       VAR_6ram_sizeVAR_6 - VAR_6initrd_offsetVAR_6);

            VAR_6ifVAR_6 (VAR_6initrd_sizeVAR_6 < VAR_60VAR_6) {

                VAR_6initrd_sizeVAR_6 = VAR_6load_image_targphysVAR_6(VAR_6VAR_3VAR_6,

                                                  VAR_6boot_infoVAR_6.VAR_6initrd_startVAR_6,

                                                  VAR_6ram_sizeVAR_6 - VAR_6initrd_offsetVAR_6);

            }

            VAR_6ifVAR_6 (VAR_6initrd_sizeVAR_6 < VAR_60VAR_6) {

                VAR_6error_reportVAR_6("VAR_6qemuVAR_6: VAR_6couldVAR_6 VAR_6notVAR_6 VAR_6loadVAR_6 VAR_6initrdVAR_6 '%VAR_6sVAR_6'\VAR_6nVAR_6",

                             VAR_6VAR_3VAR_6);

                VAR_6exitVAR_6(VAR_6EXIT_FAILUREVAR_6);

            }

            VAR_6boot_infoVAR_6.VAR_6initrd_endVAR_6 = VAR_6boot_infoVAR_6.VAR_6initrd_startVAR_6 + VAR_6initrd_sizeVAR_6;

            VAR_6highVAR_6 = VAR_6ROUND_UPVAR_6(VAR_6highVAR_6 + VAR_6initrd_sizeVAR_6, VAR_64VAR_6);

        }



        VAR_6boot_infoVAR_6.VAR_6cmdlineVAR_6 = VAR_6highVAR_6 + VAR_64096VAR_6;

        VAR_6ifVAR_6 (VAR_6kernel_cmdlineVAR_6 && VAR_6strlenVAR_6(VAR_6kernel_cmdlineVAR_6)) {

            VAR_6pstrcpy_targphysVAR_6("VAR_6cmdlineVAR_6", VAR_6boot_infoVAR_6.VAR_6cmdlineVAR_6, VAR_6256VAR_6, VAR_6kernel_cmdlineVAR_6);

        }

        

        VAR_6boot_infoVAR_6.VAR_6fdtVAR_6 = VAR_6boot_infoVAR_6.VAR_6cmdlineVAR_6 + VAR_64096VAR_6;

        VAR_6microblaze_load_dtbVAR_6(VAR_6boot_infoVAR_6.VAR_6fdtVAR_6, VAR_6ram_sizeVAR_6,

                            VAR_6boot_infoVAR_6.VAR_6initrd_startVAR_6,

                            VAR_6boot_infoVAR_6.VAR_6initrd_endVAR_6,

                            VAR_6kernel_cmdlineVAR_6,

                            VAR_6VAR_4VAR_6);

    }



}

VAR_6voidVAR_6 VAR_6microblaze_load_kernelVAR_6(VAR_6MicroBlazeCPUVAR_6 *VAR_6VAR_0VAR_6, VAR_6hwaddrVAR_6 VAR_6VAR_1VAR_6,
VAR_6uint32_tVAR_6 VAR_6VAR_2VAR_6,
VAR_6constVAR_6 VAR_6charVAR_6 *VAR_6VAR_3VAR_6,
VAR_6constVAR_6 VAR_6charVAR_6 *VAR_6VAR_4VAR_6,
VAR_6voidVAR_6 (*VAR_6VAR_5VAR_6)(VAR_6MicroBlazeCPUVAR_6 *))
{ VAR_6QemuOptsVAR_6 *VAR_6machine_optsVAR_6; VAR_6constVAR_6 VAR_6charVAR_6 *VAR_6kernel_filenameVAR_6; VAR_6constVAR_6 VAR_6charVAR_6 *VAR_6kernel_cmdlineVAR_6; VAR_6constVAR_6 VAR_6charVAR_6 *VAR_6dtb_argVAR_6; VAR_6machine_optsVAR_6 = VAR_6qemu_get_machine_optsVAR_6(); VAR_6kernel_filenameVAR_6 = VAR_6qemu_opt_getVAR_6(VAR_6machine_optsVAR_6, "VAR_6kernelVAR_6"); VAR_6kernel_cmdlineVAR_6 = VAR_6qemu_opt_getVAR_6(VAR_6machine_optsVAR_6, "VAR_6appendVAR_6"); VAR_6dtb_argVAR_6 = VAR_6qemu_opt_getVAR_6(VAR_6machine_optsVAR_6, "VAR_6dtbVAR_6"); VAR_6ifVAR_6 (VAR_6dtb_argVAR_6) { VAR_6VAR_4VAR_6 = VAR_6dtb_argVAR_6; } VAR_6elseVAR_6 { VAR_6VAR_4VAR_6 = VAR_6qemu_find_fileVAR_6(VAR_6QEMU_FILE_TYPE_BIOSVAR_6, VAR_6VAR_4VAR_6); } VAR_6boot_infoVAR_6.VAR_6VAR_5VAR_6 = VAR_6VAR_5VAR_6; VAR_6qemu_register_resetVAR_6(VAR_6main_cpu_resetVAR_6, VAR_6VAR_0VAR_6); VAR_6ifVAR_6 (VAR_6kernel_filenameVAR_6) { VAR_6intVAR_6 VAR_6kernel_sizeVAR_6; VAR_6uint64_tVAR_6 VAR_6entryVAR_6, VAR_6lowVAR_6, VAR_6highVAR_6; VAR_6uint32_tVAR_6 VAR_6base32VAR_6; VAR_6intVAR_6 VAR_6big_endianVAR_6 = VAR_60VAR_6; #VAR_6ifdefVAR_6 VAR_6TARGET_WORDS_BIGENDIANVAR_6
VAR_6big_endianVAR_6 = VAR_61VAR_6; #VAR_6endifVAR_6
VAR_6kernel_sizeVAR_6 = VAR_6load_elfVAR_6(VAR_6kernel_filenameVAR_6, VAR_6NULLVAR_6, VAR_6NULLVAR_6,
&VAR_6entryVAR_6, &VAR_6lowVAR_6, &VAR_6highVAR_6,
VAR_6big_endianVAR_6, VAR_6ELF_MACHINEVAR_6, VAR_60VAR_6); VAR_6base32VAR_6 = VAR_6entryVAR_6; VAR_6ifVAR_6 (VAR_6base32VAR_6 == VAR_60xc0000000VAR_6) { VAR_6kernel_sizeVAR_6 = VAR_6load_elfVAR_6(VAR_6kernel_filenameVAR_6, VAR_6translate_kernel_addressVAR_6,
VAR_6NULLVAR_6, &VAR_6entryVAR_6, VAR_6NULLVAR_6, VAR_6NULLVAR_6,
VAR_6big_endianVAR_6, VAR_6ELF_MACHINEVAR_6, VAR_60VAR_6); } VAR_6boot_infoVAR_6.VAR_6bootstrap_pcVAR_6 = VAR_6VAR_1VAR_6 + (VAR_6entryVAR_6 & VAR_60x0fffffffVAR_6); VAR_6ifVAR_6 (VAR_6kernel_sizeVAR_6 < VAR_60VAR_6) { VAR_6hwaddrVAR_6 VAR_6uentryVAR_6, VAR_6loadaddrVAR_6; VAR_6kernel_sizeVAR_6 = VAR_6load_uimageVAR_6(VAR_6kernel_filenameVAR_6, &VAR_6uentryVAR_6, &VAR_6loadaddrVAR_6, VAR_60VAR_6); VAR_6boot_infoVAR_6.VAR_6bootstrap_pcVAR_6 = VAR_6uentryVAR_6; VAR_6highVAR_6 = (VAR_6loadaddrVAR_6 + VAR_6kernel_sizeVAR_6 + VAR_63VAR_6) & ~VAR_63VAR_6; } VAR_6ifVAR_6 (VAR_6kernel_sizeVAR_6 < VAR_60VAR_6) { VAR_6kernel_sizeVAR_6 = VAR_6load_image_targphysVAR_6(VAR_6kernel_filenameVAR_6, VAR_6VAR_1VAR_6,
VAR_6ram_sizeVAR_6); VAR_6boot_infoVAR_6.VAR_6bootstrap_pcVAR_6 = VAR_6VAR_1VAR_6; VAR_6highVAR_6 = (VAR_6VAR_1VAR_6 + VAR_6kernel_sizeVAR_6 + VAR_63VAR_6) & ~VAR_63VAR_6; } VAR_6ifVAR_6 (VAR_6VAR_3VAR_6) { VAR_6intVAR_6 VAR_6initrd_sizeVAR_6; VAR_6uint32_tVAR_6 VAR_6initrd_offsetVAR_6; VAR_6highVAR_6 = VAR_6ROUND_UPVAR_6(VAR_6highVAR_6 + VAR_6kernel_sizeVAR_6, VAR_64VAR_6); VAR_6boot_infoVAR_6.VAR_6initrd_startVAR_6 = VAR_6highVAR_6; VAR_6initrd_offsetVAR_6 = VAR_6boot_infoVAR_6.VAR_6initrd_startVAR_6 - VAR_6VAR_1VAR_6; VAR_6initrd_sizeVAR_6 = VAR_6load_ramdiskVAR_6(VAR_6VAR_3VAR_6,
VAR_6boot_infoVAR_6.VAR_6initrd_startVAR_6,
VAR_6ram_sizeVAR_6 - VAR_6initrd_offsetVAR_6); VAR_6ifVAR_6 (VAR_6initrd_sizeVAR_6 < VAR_60VAR_6) { VAR_6initrd_sizeVAR_6 = VAR_6load_image_targphysVAR_6(VAR_6VAR_3VAR_6,
VAR_6boot_infoVAR_6.VAR_6initrd_startVAR_6,
VAR_6ram_sizeVAR_6 - VAR_6initrd_offsetVAR_6); } VAR_6ifVAR_6 (VAR_6initrd_sizeVAR_6 < VAR_60VAR_6) { VAR_6error_reportVAR_6("VAR_6qemuVAR_6: VAR_6couldVAR_6 VAR_6notVAR_6 VAR_6loadVAR_6 VAR_6initrdVAR_6 '%VAR_6sVAR_6'\VAR_6nVAR_6",
VAR_6VAR_3VAR_6); VAR_6exitVAR_6(VAR_6EXIT_FAILUREVAR_6); } VAR_6boot_infoVAR_6.VAR_6initrd_endVAR_6 = VAR_6boot_infoVAR_6.VAR_6initrd_startVAR_6 + VAR_6initrd_sizeVAR_6; VAR_6highVAR_6 = VAR_6ROUND_UPVAR_6(VAR_6highVAR_6 + VAR_6initrd_sizeVAR_6, VAR_64VAR_6); } VAR_6boot_infoVAR_6.VAR_6cmdlineVAR_6 = VAR_6highVAR_6 + VAR_64096VAR_6; VAR_6ifVAR_6 (VAR_6kernel_cmdlineVAR_6 && VAR_6strlenVAR_6(VAR_6kernel_cmdlineVAR_6)) { VAR_6pstrcpy_targphysVAR_6("VAR_6cmdlineVAR_6", VAR_6boot_infoVAR_6.VAR_6cmdlineVAR_6, VAR_6256VAR_6, VAR_6kernel_cmdlineVAR_6); } VAR_6boot_infoVAR_6.VAR_6fdtVAR_6 = VAR_6boot_infoVAR_6.VAR_6cmdlineVAR_6 + VAR_64096VAR_6; VAR_6microblaze_load_dtbVAR_6(VAR_6boot_infoVAR_6.VAR_6fdtVAR_6, VAR_6ram_sizeVAR_6,
VAR_6boot_infoVAR_6.VAR_6initrd_startVAR_6,
VAR_6boot_infoVAR_6.VAR_6initrd_endVAR_6,
VAR_6kernel_cmdlineVAR_6,
VAR_6VAR_4VAR_6); } }