182     if (x86ms->fw_cfg) {  in x86_cpu_plug()
183         fw_cfg_modify_i16(x86ms->fw_cfg, FW_CFG_NB_CPUS, x86ms->boot_cpus);  in x86_cpu_plug()
236     fw_cfg_modify_i16(x86ms->fw_cfg, FW_CFG_NB_CPUS, x86ms->boot_cpus);  in x86_cpu_unplug_cb()
587                          FWCfgState *fw_cfg)  in load_elfboot()  argument
626     fw_cfg_add_i32(fw_cfg, FW_CFG_KERNEL_ENTRY, pvh_start_addr);  in load_elfboot()
627     fw_cfg_add_i32(fw_cfg, FW_CFG_KERNEL_ADDR, mh_load_addr);  in load_elfboot()
628     fw_cfg_add_i32(fw_cfg, FW_CFG_KERNEL_SIZE, elf_kernel_size);  in load_elfboot()
634                     FWCfgState *fw_cfg,  in x86_load_linux()  argument
689         if (load_multiboot(x86ms, fw_cfg, f, kernel_filename, initrd_filename,  in x86_load_linux()
700                          header, pvh_start_addr, fw_cfg)) {  in x86_load_linux()
703             fw_cfg_add_i32(fw_cfg, FW_CFG_CMDLINE_SIZE,  in x86_load_linux()
705             fw_cfg_add_string(fw_cfg, FW_CFG_CMDLINE_DATA, kernel_cmdline);  in x86_load_linux()
709             fw_cfg_add_i32(fw_cfg, FW_CFG_SETUP_SIZE, sizeof(header));  in x86_load_linux()
710             fw_cfg_add_bytes(fw_cfg, FW_CFG_SETUP_DATA,  in x86_load_linux()
740                 fw_cfg_add_i32(fw_cfg, FW_CFG_INITRD_ADDR, initrd_addr);  in x86_load_linux()
741                 fw_cfg_add_i32(fw_cfg, FW_CFG_INITRD_SIZE, initrd_size);  in x86_load_linux()
742                 fw_cfg_add_bytes(fw_cfg, FW_CFG_INITRD_DATA, initrd_data,  in x86_load_linux()
802     fw_cfg_add_i32(fw_cfg, FW_CFG_CMDLINE_ADDR, cmdline_addr);  in x86_load_linux()
803     fw_cfg_add_i32(fw_cfg, FW_CFG_CMDLINE_SIZE, strlen(kernel_cmdline) + 1);  in x86_load_linux()
804     fw_cfg_add_string(fw_cfg, FW_CFG_CMDLINE_DATA, kernel_cmdline);  in x86_load_linux()
885         fw_cfg_add_i32(fw_cfg, FW_CFG_INITRD_ADDR, initrd_addr);  in x86_load_linux()
886         fw_cfg_add_i32(fw_cfg, FW_CFG_INITRD_SIZE, initrd_size);  in x86_load_linux()
887         fw_cfg_add_bytes(fw_cfg, FW_CFG_INITRD_DATA, initrd_data, initrd_size);  in x86_load_linux()
959     fw_cfg_add_i32(fw_cfg, FW_CFG_KERNEL_ADDR, prot_addr);  in x86_load_linux()
960     fw_cfg_add_i32(fw_cfg, FW_CFG_KERNEL_SIZE, kernel_size - setup_size);  in x86_load_linux()
961     fw_cfg_add_bytes(fw_cfg, FW_CFG_KERNEL_DATA,  in x86_load_linux()
966     fw_cfg_add_i32(fw_cfg, FW_CFG_SETUP_ADDR, real_addr);  in x86_load_linux()
967     fw_cfg_add_i32(fw_cfg, FW_CFG_SETUP_SIZE, setup_size);  in x86_load_linux()
968     fw_cfg_add_bytes(fw_cfg, FW_CFG_SETUP_DATA, setup, setup_size);  in x86_load_linux()
973     fw_cfg_add_file(fw_cfg, "etc/boot/kernel", kernel, kernel_size);  in x86_load_linux()
986         fw_cfg_add_file(fw_cfg, "etc/boot/shim",  in x86_load_linux()
997     if (linuxboot_dma_enabled && fw_cfg_dma_enabled(fw_cfg)) {  in x86_load_linux()