40 const fpga_desc *const fpga_get_desc(int devnum)  in fpga_get_desc()  argument
44 	if ((devnum >= 0) && (devnum < next_desc)) {  in fpga_get_desc()
45 		desc = &desc_table[devnum];  in fpga_get_desc()
47 		      __func__, devnum, desc);  in fpga_get_desc()
57 const fpga_desc *const fpga_validate(int devnum, const void *buf,  in fpga_validate()  argument
60 	const fpga_desc *desc = fpga_get_desc(devnum);  in fpga_validate()
63 		printf("%s: Invalid device number %d\n", fn, devnum);  in fpga_validate()
76 static int fpga_dev_info(int devnum)  in fpga_dev_info()  argument
79 	const fpga_desc * const desc = fpga_get_desc(devnum);  in fpga_dev_info()
115 		printf("%s: Invalid device number %d\n", __func__, devnum);  in fpga_dev_info()
148 	int devnum = FPGA_INVALID_DEVICE;  in fpga_add()  local
152 		return devnum;  in fpga_add()
159 			devnum = next_desc;  in fpga_add()
170 	return devnum;  in fpga_add()
177 int __weak fpga_is_partial_data(int devnum, size_t img_len)  in fpga_is_partial_data()  argument
185 int __weak fpga_loadbitstream(int devnum, char *fpgadata, size_t size,  in fpga_loadbitstream()  argument
193 int fpga_fsload(int devnum, const void *buf, size_t size,  in fpga_fsload()  argument
197 	const fpga_desc *desc = fpga_validate(devnum, buf, size,  in fpga_fsload()
221 int fpga_loads(int devnum, const void *buf, size_t size,  in fpga_loads()  argument
226 	const fpga_desc *desc = fpga_validate(devnum, buf, size,  in fpga_loads()
252 int fpga_load(int devnum, const void *buf, size_t bsize, bitstream_type bstype)  in fpga_load()  argument
255 	const fpga_desc *desc = fpga_validate(devnum, buf, bsize,  in fpga_load()
295 int fpga_dump(int devnum, const void *buf, size_t bsize)  in fpga_dump()  argument
298 	const fpga_desc *desc = fpga_validate(devnum, buf, bsize,  in fpga_dump()
338 int fpga_info(int devnum)  in fpga_info()  argument
340 	if (devnum == FPGA_INVALID_DEVICE) {  in fpga_info()
354 	return fpga_dev_info(devnum);  in fpga_info()