00001
00002
00003 #ifndef _EDT_BITFILE_H_
00004 #define _EDT_BITFILE_H_
00005
00006 #include "edtinc.h"
00007 #include <sys/stat.h>
00008
00009 #ifdef DOXYGEN_SHOW_UNDOC
00010
00014 #endif
00015
00016
00017
00018
00019
00020
00021 #define EDT_MAX_BOARDS 32
00022 #define EDT_MAX_BITFILES 64
00023
00024 typedef struct {
00025 int unit_no ;
00026 char *intfc_bitfile ;
00027 char board_name[64] ;
00028 char pci_xilinx_type[64] ;
00029 char pci_flash_name[64] ;
00030 } edt_board_desc ;
00031
00032 typedef struct {
00033 char *pci_bitfile_name ;
00034 char *pci_bitfile_comment ;
00035 int intfc_bitfile_count ;
00036 char *intfc_bitfile_names[64] ;
00037 char *intfc_bitfile_comments[64] ;
00038 } edt_bitfile_desc ;
00039
00040 typedef edt_board_desc edt_board_desc_table[EDT_MAX_BOARDS] ;
00041 typedef edt_bitfile_desc edt_bitfile_desc_table[EDT_MAX_BITFILES] ;
00042
00043
00044
00045
00046 EDTAPI int edt_probe_boards(edt_board_desc_table edt_boards);
00047 EDTAPI int edt_create_pcdload_script(edt_board_desc_table);
00048 EDTAPI char *get_bitfile_list(edt_bitfile_desc_table edt_bitfiles);
00049 EDTAPI char *get_board_list(edt_board_desc_table edt_boards);
00050 EDTAPI void app_perror(char *str);
00051 EDTAPI int edt_read_bitfile_config(
00052 char *cfg_file_name, edt_bitfile_desc_table edt_bitfiles);
00053 EDTAPI edt_bitfile_desc *edt_get_bitfile_desc(
00054 char *flash_name, edt_bitfile_desc_table edt_bitfiles);
00055
00056 #ifdef DOXYGEN_SHOW_UNDOC
00057
00058 #endif
00059
00060 #endif
00061