int fread_targphys_ok(target_phys_addr_t dst_addr, size_t nbytes, FILE *f)

{

    return fread_targphys(dst_addr, nbytes, f) == nbytes;

}

int fread_targphys_ok(target_phys_addr_t dst_addr, size_t nbytes, FILE *f)

{

    return fread_targphys(dst_addr, nbytes, f) == nbytes;

}

int FUNC_0(target_phys_addr_t VAR_0, size_t VAR_1, FILE *VAR_2)

{

    return fread_targphys(VAR_0, VAR_1, VAR_2) == VAR_1;

}

int FUNC_0(target_phys_addr_t VAR_0, size_t VAR_1, FILE *VAR_2)
{ return fread_targphys(VAR_0, VAR_1, VAR_2) == VAR_1; }