static void puv3_load_kernel(const char *kernel_filename)

{

    int size;



    assert(kernel_filename != NULL);



    /* only zImage format supported */

    size = load_image_targphys(kernel_filename, KERNEL_LOAD_ADDR,

            KERNEL_MAX_SIZE);

    if (size < 0) {

        hw_error("Load kernel error: '%s'\n", kernel_filename);

    }



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

    graphic_console_init(NULL, NULL, NULL, NULL, NULL);

}

static void puv3_load_kernel(const char *kernel_filename)

{

    int size;



    assert(kernel_filename != NULL);



    

    size = load_image_targphys(kernel_filename, KERNEL_LOAD_ADDR,

            KERNEL_MAX_SIZE);

    if (size < 0) {

        hw_error("Load kernel error: '%s'\n", kernel_filename);

    }



    

    graphic_console_init(NULL, NULL, NULL, NULL, NULL);

}

static void FUNC_0(const char *VAR_0)

{

    int VAR_1;



    assert(VAR_0 != NULL);



    

    VAR_1 = load_image_targphys(VAR_0, KERNEL_LOAD_ADDR,

            KERNEL_MAX_SIZE);

    if (VAR_1 < 0) {

        hw_error("Load kernel error: '%s'\n", VAR_0);

    }



    

    graphic_console_init(NULL, NULL, NULL, NULL, NULL);

}

static void FUNC_0(const char *VAR_0)
{ int VAR_1; assert(VAR_0 != NULL); VAR_1 = load_image_targphys(VAR_0, KERNEL_LOAD_ADDR,
KERNEL_MAX_SIZE); if (VAR_1 < 0) { hw_error("Load kernel error: '%s'\n", VAR_0); } graphic_console_init(NULL, NULL, NULL, NULL, NULL); }