/* fpga_info front end to fpga_dev_info. If devnum is invalid, report on all available devices.  */
int fpga_info(int devnum)
/* fpga_info front end to fpga_dev_info. If devnum is invalid, report on all available devices.  */
int fpga_info(int devnum)
{
	if (devnum == FPGA_INVALID_DEVICE) {
		if (next_desc > 0) {
			int dev;
			for (dev = 0; dev < next_desc; dev++)
				fpga_dev_info(dev);
			return FPGA_SUCCESS;
		} else {
			printf("%s: No FPGA devices available.\n", __func__);
			return FPGA_FAIL;
		}
	}
	return fpga_dev_info(devnum);
}