/* 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;
};