/* fpga_dump * generic multiplexing code */ int fpga_dump( int devnum, void *buf, size_t bsize ) { int ret_val = FPGA_FAIL; /* assume failure */ fpga_desc * desc = fpga_validate( devnum, buf, bsize, (char *)__FUNCTION__ ); if ( desc ) { switch ( desc->devtype ) { case fpga_xilinx: #if defined(CONFIG_FPGA_XILINX) ret_val = xilinx_dump( desc->devdesc, buf, bsize ); #else fpga_no_sup( (char *)__FUNCTION__, "Xilinx devices" ); #endif break; case fpga_altera: #if defined(CONFIG_FPGA_ALTERA) ret_val = altera_dump( desc->devdesc, buf, bsize ); #else fpga_no_sup( (char *)__FUNCTION__, "Altera devices" ); #endif break; default: printf( "%s: Invalid or unsupported device type %d\n", __FUNCTION__, desc->devtype ); } } return ret_val; }
int fpga_fsload(int devnum, const void *buf, size_t size, fpga_fs_info *fpga_fsinfo) { int ret_val = FPGA_FAIL; /* assume failure */ const fpga_desc *desc = fpga_validate(devnum, buf, size, (char *)__func__); if (desc) { switch (desc->devtype) { case fpga_xilinx: #if defined(CONFIG_FPGA_XILINX) ret_val = xilinx_loadfs(desc->devdesc, buf, size, fpga_fsinfo); #else fpga_no_sup((char *)__func__, "Xilinx devices"); #endif break; default: printf("%s: Invalid or unsupported device type %d\n", __func__, desc->devtype); } } return ret_val; }
/* * Generic multiplexing code */ int fpga_load(int devnum, const void *buf, size_t bsize, bitstream_type bstype) { int ret_val = FPGA_FAIL; /* assume failure */ const fpga_desc *desc = fpga_validate(devnum, buf, bsize, (char *)__func__); if (desc) { switch (desc->devtype) { case fpga_xilinx: #if defined(CONFIG_FPGA_XILINX) ret_val = xilinx_load(desc->devdesc, buf, bsize, bstype); #else fpga_no_sup((char *)__func__, "Xilinx devices"); #endif break; case fpga_altera: #if defined(CONFIG_FPGA_ALTERA) ret_val = altera_load(desc->devdesc, buf, bsize); #else fpga_no_sup((char *)__func__, "Altera devices"); #endif break; case fpga_lattice: #if defined(CONFIG_FPGA_LATTICE) ret_val = lattice_load(desc->devdesc, buf, bsize); #else fpga_no_sup((char *)__func__, "Lattice devices"); #endif break; default: printf("%s: Invalid or unsupported device type %d\n", __func__, desc->devtype); } } return ret_val; }
int fpga_loadbitstream(int devnum, char *fpgadata, size_t size, bitstream_type bstype) { unsigned int length; unsigned int swapsize; unsigned char *dataptr; unsigned int i; const fpga_desc *desc; xilinx_desc *xdesc; dataptr = (unsigned char *)fpgadata; /* Find out fpga_description */ desc = fpga_validate(devnum, dataptr, 0, (char *)__func__); /* Assign xilinx device description */ xdesc = desc->devdesc; /* skip the first bytes of the bitsteam, their meaning is unknown */ length = (*dataptr << 8) + *(dataptr + 1); dataptr += 2; dataptr += length; /* get design name (identifier, length, string) */ length = (*dataptr << 8) + *(dataptr + 1); dataptr += 2; if (*dataptr++ != 0x61) { debug("%s: Design name id not recognized in bitstream\n", __func__); return FPGA_FAIL; } length = (*dataptr << 8) + *(dataptr + 1); dataptr += 2; printf(" design filename = \"%s\"\n", dataptr); dataptr += length; /* get part number (identifier, length, string) */ if (*dataptr++ != 0x62) { printf("%s: Part number id not recognized in bitstream\n", __func__); return FPGA_FAIL; } length = (*dataptr << 8) + *(dataptr + 1); dataptr += 2; if (xdesc->name) { i = (ulong)strstr((char *)dataptr, xdesc->name); if (!i) { printf("%s: Wrong bitstream ID for this device\n", __func__); printf("%s: Bitstream ID %s, current device ID %d/%s\n", __func__, dataptr, devnum, xdesc->name); return FPGA_FAIL; } } else { printf("%s: Please fill correct device ID to xilinx_desc\n", __func__); } printf(" part number = \"%s\"\n", dataptr); dataptr += length; /* get date (identifier, length, string) */ if (*dataptr++ != 0x63) { printf("%s: Date identifier not recognized in bitstream\n", __func__); return FPGA_FAIL; } length = (*dataptr << 8) + *(dataptr+1); dataptr += 2; printf(" date = \"%s\"\n", dataptr); dataptr += length; /* get time (identifier, length, string) */ if (*dataptr++ != 0x64) { printf("%s: Time identifier not recognized in bitstream\n", __func__); return FPGA_FAIL; } length = (*dataptr << 8) + *(dataptr+1); dataptr += 2; printf(" time = \"%s\"\n", dataptr); dataptr += length; /* get fpga data length (identifier, length) */ if (*dataptr++ != 0x65) { printf("%s: Data length id not recognized in bitstream\n", __func__); return FPGA_FAIL; } swapsize = ((unsigned int) *dataptr << 24) + ((unsigned int) *(dataptr + 1) << 16) + ((unsigned int) *(dataptr + 2) << 8) + ((unsigned int) *(dataptr + 3)); dataptr += 4; printf(" bytes in bitstream = %d\n", swapsize); return fpga_load(devnum, dataptr, swapsize, bstype); }