41 const fpga_desc *const fpga_get_desc(int devnum)  in fpga_get_desc()  argument
45 	if ((devnum >= 0) && (devnum < next_desc)) {  in fpga_get_desc()
46 		desc = &desc_table[devnum];  in fpga_get_desc()
48 		      __func__, devnum, desc);  in fpga_get_desc()
58 const fpga_desc *const fpga_validate(int devnum, const void *buf,  in fpga_validate()  argument
61 	const fpga_desc *desc = fpga_get_desc(devnum);  in fpga_validate()
64 		printf("%s: Invalid device number %d\n", fn, devnum);  in fpga_validate()
77 static int fpga_dev_info(int devnum)  in fpga_dev_info()  argument
80 	const fpga_desc * const desc = fpga_get_desc(devnum);  in fpga_dev_info()
116 		printf("%s: Invalid device number %d\n", __func__, devnum);  in fpga_dev_info()
149 	int devnum = FPGA_INVALID_DEVICE;  in fpga_add()  local
156 				devnum = next_desc;  in fpga_add()
170 	return devnum;  in fpga_add()
176 int __weak fpga_loadbitstream(int devnum, char *fpgadata, size_t size,  in fpga_loadbitstream()  argument
184 int fpga_fsload(int devnum, const void *buf, size_t size,  in fpga_fsload()  argument
188 	const fpga_desc *desc = fpga_validate(devnum, buf, size,  in fpga_fsload()
214 int fpga_load(int devnum, const void *buf, size_t bsize, bitstream_type bstype)  in fpga_load()  argument
217 	const fpga_desc *desc = fpga_validate(devnum, buf, bsize,  in fpga_load()
257 int fpga_dump(int devnum, const void *buf, size_t bsize)  in fpga_dump()  argument
260 	const fpga_desc *desc = fpga_validate(devnum, buf, bsize,  in fpga_dump()
300 int fpga_info(int devnum)  in fpga_info()  argument
302 	if (devnum == FPGA_INVALID_DEVICE) {  in fpga_info()
316 	return fpga_dev_info(devnum);  in fpga_info()