printf("%s: Wrong bitstream ID for this device\n",
__func__);
printf("%s: Bitstream ID %s, current device ID %d/%s\n",
printf("%s: Wrong bitstream ID for this device\n",
__func__);
printf("%s: Bitstream ID %s, current device ID %d/%s\n",
return desc->operations->load(desc, buf, bsize, bstype);
}
return desc->operations->load(desc, buf, bsize, bstype);
}
return desc->operations->loadfs(desc, buf, bsize, fpga_fsinfo);
}
return desc->operations->loadfs(desc, buf, bsize, fpga_fsinfo);
}
- printf ("Device Size: \t%d bytes\n"
- "Cookie: \t0x%x (%d)\n",
- desc->size, desc->cookie, desc->cookie);
+ printf("Device Size: \t%zd bytes\n"
+ "Cookie: \t0x%x (%d)\n",
+ desc->size, desc->cookie, desc->cookie);