48 		      __func__, devnum, desc);  in fpga_get_desc()
84 		      __func__, desc->devdesc);  in fpga_dev_info()
92 			fpga_no_sup((char *)__func__, "Xilinx devices");  in fpga_dev_info()
100 			fpga_no_sup((char *)__func__, "Altera devices");  in fpga_dev_info()
108 			fpga_no_sup((char *)__func__, "Lattice devices");  in fpga_dev_info()
113 			       __func__, desc->devtype);  in fpga_dev_info()
116 		printf("%s: Invalid device number %d\n", __func__, devnum);  in fpga_dev_info()
131 	debug("%s\n", __func__);  in fpga_init()
152 		printf("%s: FPGA support not initialized!\n", __func__);  in fpga_add()
161 				       __func__);  in fpga_add()
164 			printf("%s: NULL device descriptor\n", __func__);  in fpga_add()
167 		printf("%s: Unsupported FPGA type %d\n", __func__, devtype);  in fpga_add()
189 					      (char *)__func__);  in fpga_fsload()
198 			fpga_no_sup((char *)__func__, "Xilinx devices");  in fpga_fsload()
203 			       __func__, desc->devtype);  in fpga_fsload()
218 					      (char *)__func__);  in fpga_load()
227 			fpga_no_sup((char *)__func__, "Xilinx devices");  in fpga_load()
234 			fpga_no_sup((char *)__func__, "Altera devices");  in fpga_load()
241 			fpga_no_sup((char *)__func__, "Lattice devices");  in fpga_load()
246 			       __func__, desc->devtype);  in fpga_load()
261 					      (char *)__func__);  in fpga_dump()
269 			fpga_no_sup((char *)__func__, "Xilinx devices");  in fpga_dump()
276 			fpga_no_sup((char *)__func__, "Altera devices");  in fpga_dump()
283 			fpga_no_sup((char *)__func__, "Lattice devices");  in fpga_dump()
288 			       __func__, desc->devtype);  in fpga_dump()
311 			printf("%s: No FPGA devices available.\n", __func__);  in fpga_info()