1#ifndef FW_CFG_H
2#define FW_CFG_H
3
4#define FW_CFG_SIGNATURE 0x00
5#define FW_CFG_ID 0x01
6#define FW_CFG_UUID 0x02
7#define FW_CFG_RAM_SIZE 0x03
8#define FW_CFG_NOGRAPHIC 0x04
9#define FW_CFG_NB_CPUS 0x05
10#define FW_CFG_MACHINE_ID 0x06
11#define FW_CFG_KERNEL_ADDR 0x07
12#define FW_CFG_KERNEL_SIZE 0x08
13#define FW_CFG_KERNEL_CMDLINE 0x09
14#define FW_CFG_INITRD_ADDR 0x0a
15#define FW_CFG_INITRD_SIZE 0x0b
16#define FW_CFG_BOOT_DEVICE 0x0c
17#define FW_CFG_NUMA 0x0d
18#define FW_CFG_BOOT_MENU 0x0e
19#define FW_CFG_MAX_CPUS 0x0f
20#define FW_CFG_KERNEL_ENTRY 0x10
21#define FW_CFG_KERNEL_DATA 0x11
22#define FW_CFG_INITRD_DATA 0x12
23#define FW_CFG_CMDLINE_ADDR 0x13
24#define FW_CFG_CMDLINE_SIZE 0x14
25#define FW_CFG_CMDLINE_DATA 0x15
26#define FW_CFG_SETUP_ADDR 0x16
27#define FW_CFG_SETUP_SIZE 0x17
28#define FW_CFG_SETUP_DATA 0x18
29#define FW_CFG_FILE_DIR 0x19
30
31#define FW_CFG_FILE_FIRST 0x20
32#define FW_CFG_FILE_SLOTS 0x10
33#define FW_CFG_MAX_ENTRY (FW_CFG_FILE_FIRST+FW_CFG_FILE_SLOTS)
34
35#define FW_CFG_WRITE_CHANNEL 0x4000
36#define FW_CFG_ARCH_LOCAL 0x8000
37#define FW_CFG_ENTRY_MASK ~(FW_CFG_WRITE_CHANNEL | FW_CFG_ARCH_LOCAL)
38
39#define FW_CFG_INVALID 0xffff
40
41#ifndef NO_QEMU_PROTOS
42typedef struct FWCfgFile {
43 uint32_t size;
44 uint16_t select;
45 uint16_t reserved;
46 char name[56];
47} FWCfgFile;
48
49typedef struct FWCfgFiles {
50 uint32_t count;
51 FWCfgFile f[];
52} FWCfgFiles;
53
54typedef void (*FWCfgCallback)(void *opaque, uint8_t *data);
55
56typedef struct FWCfgState FWCfgState;
57int fw_cfg_add_bytes(FWCfgState *s, uint16_t key, uint8_t *data, uint32_t len);
58int fw_cfg_add_i16(FWCfgState *s, uint16_t key, uint16_t value);
59int fw_cfg_add_i32(FWCfgState *s, uint16_t key, uint32_t value);
60int fw_cfg_add_i64(FWCfgState *s, uint16_t key, uint64_t value);
61int fw_cfg_add_callback(FWCfgState *s, uint16_t key, FWCfgCallback callback,
62 void *callback_opaque, uint8_t *data, size_t len);
63int fw_cfg_add_file(FWCfgState *s, const char *filename, uint8_t *data,
64 uint32_t len);
65FWCfgState *fw_cfg_init(uint32_t ctl_port, uint32_t data_port,
66 hwaddr crl_addr, hwaddr data_addr);
67
68#endif
69
70#endif
71