Searched refs:fw_cfg_add_i32 (Results 1 – 3 of 3) sorted by relevance
31 int fw_cfg_add_i32(void *opaque, uint16_t key, uint32_t value);
213 int fw_cfg_add_i32(void *opaque, uint16_t key, uint32_t value) in fw_cfg_add_i32() function
485 fw_cfg_add_i32(fw_cfg, FW_CFG_ID, 1); in bochs_bios_init()