static void fw_cfg_machine_ready(struct Notifier *n, void *data) { size_t len; FWCfgState *s = container_of(n, FWCfgState, machine_ready); char *bootindex = get_boot_devices_list(&len); fw_cfg_add_file(s, "bootorder", (uint8_t*)bootindex, len); }
static void fw_cfg_machine_reset(void *opaque) { void *ptr; size_t len; FWCfgState *s = opaque; char *bootindex = get_boot_devices_list(&len, false); ptr = fw_cfg_modify_file(s, "bootorder", (uint8_t *)bootindex, len); g_free(ptr); }