Searched refs:fw_cfg_add_i64 (Results 1 – 3 of 3) sorted by relevance
32 int fw_cfg_add_i64(void *opaque, uint16_t key, uint64_t value);
222 int fw_cfg_add_i64(void *opaque, uint16_t key, uint64_t value) in fw_cfg_add_i64() function
486 fw_cfg_add_i64(fw_cfg, FW_CFG_RAM_SIZE, (uint64_t)ram_size); in bochs_bios_init()