/* SPDX-License-Identifier: GPL-2.0 */
#define TS7800_FPGA_MAGIC 0x00b480
#define FPGAID(_magic, _rev) ((_magic << 8) + _rev)

/*
 * get yer id's from http://ts78xx.digriz.org.uk/
 * do *not* make up your own or 'borrow' any!
 */
enum fpga_ids {
	/* Technologic Systems */
	TS7800_REV_1	= FPGAID(TS7800_FPGA_MAGIC, 0x01),
	TS7800_REV_2	= FPGAID(TS7800_FPGA_MAGIC, 0x02),
	TS7800_REV_3	= FPGAID(TS7800_FPGA_MAGIC, 0x03),
	TS7800_REV_4	= FPGAID(TS7800_FPGA_MAGIC, 0x04),
	TS7800_REV_5	= FPGAID(TS7800_FPGA_MAGIC, 0x05),
	TS7800_REV_6	= FPGAID(TS7800_FPGA_MAGIC, 0x06),
	TS7800_REV_7	= FPGAID(TS7800_FPGA_MAGIC, 0x07),
	TS7800_REV_8	= FPGAID(TS7800_FPGA_MAGIC, 0x08),
	TS7800_REV_9	= FPGAID(TS7800_FPGA_MAGIC, 0x09),

	/* Unaffordable & Expensive */
	UAE_DUMMY	= FPGAID(0xffffff, 0x01),
};

struct fpga_device {
	unsigned		present:1;
	unsigned		init:1;
};

struct fpga_devices {
	/* Technologic Systems */
	struct fpga_device	ts_rtc;
	struct fpga_device	ts_nand;
	struct fpga_device	ts_rng;
};

struct ts78xx_fpga_data {
	unsigned int		id;
	int			state;

	struct fpga_devices	supports;
};