]>
Commit | Line | Data |
---|---|---|
3cce6243 BS |
1 | #ifndef FW_CFG_H |
2 | #define FW_CFG_H | |
3 | ||
4 | #define FW_CFG_SIGNATURE 0x00 | |
5 | #define FW_CFG_ID 0x01 | |
084a197a | 6 | #define FW_CFG_UUID 0x02 |
905fdcb5 BS |
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 | |
7e12f656 BS |
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 | |
11c2fd3e | 17 | #define FW_CFG_NUMA 0x0d |
95387491 | 18 | #define FW_CFG_BOOT_MENU 0x0e |
6be68d7e | 19 | #define FW_CFG_MAX_CPUS 0x0f |
77873196 AG |
20 | #define FW_CFG_KERNEL_ENTRY 0x10 |
21 | #define FW_CFG_KERNEL_DATA 0x11 | |
22 | #define FW_CFG_INITRD_DATA 0x12 | |
57a46d05 AG |
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_MAX_ENTRY 0x19 | |
3cce6243 BS |
30 | |
31 | #define FW_CFG_WRITE_CHANNEL 0x4000 | |
32 | #define FW_CFG_ARCH_LOCAL 0x8000 | |
33 | #define FW_CFG_ENTRY_MASK ~(FW_CFG_WRITE_CHANNEL | FW_CFG_ARCH_LOCAL) | |
34 | ||
35 | #define FW_CFG_INVALID 0xffff | |
36 | ||
37 | #ifndef NO_QEMU_PROTOS | |
38 | typedef void (*FWCfgCallback)(void *opaque, uint8_t *data); | |
39 | ||
ff06108b | 40 | int fw_cfg_add_bytes(void *opaque, uint16_t key, uint8_t *data, uint32_t len); |
3cce6243 BS |
41 | int fw_cfg_add_i16(void *opaque, uint16_t key, uint16_t value); |
42 | int fw_cfg_add_i32(void *opaque, uint16_t key, uint32_t value); | |
43 | int fw_cfg_add_i64(void *opaque, uint16_t key, uint64_t value); | |
44 | int fw_cfg_add_callback(void *opaque, uint16_t key, FWCfgCallback callback, | |
45 | void *callback_opaque, uint8_t *data, size_t len); | |
46 | void *fw_cfg_init(uint32_t ctl_port, uint32_t data_port, | |
c227f099 | 47 | target_phys_addr_t crl_addr, target_phys_addr_t data_addr); |
3cce6243 BS |
48 | |
49 | #endif /* NO_QEMU_PROTOS */ | |
50 | ||
51 | #endif |