Searched refs:fw_cfg_modify_i32 (Results 1 – 3 of 3) sorted by relevance
198 void fw_cfg_modify_i32(FWCfgState *s, uint16_t key, uint32_t value);
412 fw_cfg_modify_i32(x86ms->fw_cfg, FW_CFG_CMDLINE_SIZE, strlen(cmdline) + 1); in microvm_fix_kernel_cmdline()
792 void fw_cfg_modify_i32(FWCfgState *s, uint16_t key, uint32_t value) in fw_cfg_modify_i32() function