int load_image_targphys(const char *filename,

                        target_phys_addr_t addr, uint64_t max_sz)

{

    int size;



    size = get_image_size(filename);

    if (size > max_sz) {

        return -1;

    }

    if (size > 0) {

        rom_add_file_fixed(filename, addr, -1);

    }

    return size;

}

int load_image_targphys(const char *filename,

                        target_phys_addr_t addr, uint64_t max_sz)

{

    int size;



    size = get_image_size(filename);

    if (size > max_sz) {

        return -1;

    }

    if (size > 0) {

        rom_add_file_fixed(filename, addr, -1);

    }

    return size;

}

int FUNC_0(const char *VAR_0,

                        target_phys_addr_t VAR_1, uint64_t VAR_2)

{

    int VAR_3;



    VAR_3 = get_image_size(VAR_0);

    if (VAR_3 > VAR_2) {

        return -1;

    }

    if (VAR_3 > 0) {

        rom_add_file_fixed(VAR_0, VAR_1, -1);

    }

    return VAR_3;

}

int FUNC_0(const char *VAR_0,
target_phys_addr_t VAR_1, uint64_t VAR_2)
{ int VAR_3; VAR_3 = get_image_size(VAR_0); if (VAR_3 > VAR_2) { return -1; } if (VAR_3 > 0) { rom_add_file_fixed(VAR_0, VAR_1, -1); } return VAR_3; }