static void puv3_load_kernel(const char *kernel_filename)

{

    int size;



    if (kernel_filename == NULL && qtest_enabled()) {

        return;

    }

    assert(kernel_filename != NULL);



    /* only zImage format supported */

    size = load_image_targphys(kernel_filename, KERNEL_LOAD_ADDR,

            KERNEL_MAX_SIZE);

    if (size < 0) {

        error_report("Load kernel error: '%s'", kernel_filename);

        exit(1);

    }



    /* cheat curses that we have a graphic console, only under ocd console */

    graphic_console_init(NULL, 0, &no_ops, NULL);

}

static void puv3_load_kernel(const char *kernel_filename)

{

    int size;



    if (kernel_filename == NULL && qtest_enabled()) {

        return;

    }

    assert(kernel_filename != NULL);



    

    size = load_image_targphys(kernel_filename, KERNEL_LOAD_ADDR,

            KERNEL_MAX_SIZE);

    if (size < 0) {

        error_report("Load kernel error: '%s'", kernel_filename);

        exit(1);

    }



    

    graphic_console_init(NULL, 0, &no_ops, NULL);

}

    assert(kernel_filename != NULL);
static void FUNC_0(const char *VAR_0)

{

    int VAR_1;



    if (VAR_0 == NULL && qtest_enabled()) {

        return;

    }

    assert(VAR_0 != NULL);



    

    VAR_1 = load_image_targphys(VAR_0, KERNEL_LOAD_ADDR,

            KERNEL_MAX_SIZE);

    if (VAR_1 < 0) {

        error_report("Load kernel error: '%s'", VAR_0);

        exit(1);

    }



    

    graphic_console_init(NULL, 0, &no_ops, NULL);

}

static void FUNC_0(const char *VAR_0)
{ int VAR_1; if (VAR_0 == NULL && qtest_enabled()) { return; } assert(VAR_0 != NULL); VAR_1 = load_image_targphys(VAR_0, KERNEL_LOAD_ADDR,
KERNEL_MAX_SIZE); if (VAR_1 < 0) { error_report("Load kernel error: '%s'", VAR_0); exit(1); } graphic_console_init(NULL, 0, &no_ops, NULL); }