Searched refs:swapsize (Results 1 – 2 of 2) sorted by relevance
59 local swapsize=${4:-$DEVICE_SIZE}85 if [ $swapsize -gt $DEVICE_SIZE ]; then99 local filesize=$((swapsize-pagesize/1024))
43 unsigned int swapsize; in fpga_loadbitstream() local130 swapsize = ((unsigned int) *dataptr << 24) + in fpga_loadbitstream()135 printf(" bytes in bitstream = %d\n", swapsize); in fpga_loadbitstream()137 return fpga_load(devnum, dataptr, swapsize, bstype); in fpga_loadbitstream()