get_config_value
path = get_config_value("console");
bootrom = get_config_value("bootrom");
bootargs = get_config_value("fdt.bootargs");
if (get_config_value("lpc.bootrom") != NULL &&
get_config_value("bootrom") == NULL) {
set_config_value("bootrom", get_config_value("lpc.bootrom"));
if (get_config_value("lpc.bootvars") != NULL &&
get_config_value("bootvars") == NULL) {
set_config_value("bootvars", get_config_value("lpc.bootvars"));
return (get_config_value("lpc.fwcfg"));
backend = get_config_value(node_name);
snprintf(path, MAX_PATHNAME, PS2KBD_LAYOUT_BASEDIR"%s", get_config_value("keyboard.layout") );
if (get_config_value("keyboard.layout") != NULL)
if (init_checkpoint_thread(ctx, get_config_value("rundir")) != 0)
value = get_config_value("cpus");
value = get_config_value("cores");
value = get_config_value("threads");
value = get_config_value("sockets");
value = get_config_value(key);
value = get_config_value(key);
vmname = get_config_value("name");
value = get_config_value("memory.size");
bootrom = get_config_value("bootrom");
varfile = get_config_value("bootvars");
return (get_config_value("bootrom") != NULL);
if (get_config_value(path) != NULL) {
value = get_config_value(path);
value = get_config_value(path);
const char *get_config_value(const char *path);
value = get_config_value("gdb.port");
saddr = get_config_value("gdb.address");
nvlist_add_string(config, "vmname", get_config_value("name"));
pi->pi_func, get_config_value("name"));
get_config_value("name"), sc->nsc_pi->pi_bus,
asprintf(&data, "%s%u%u%u", get_config_value("name"),
get_config_value("name"));
path = get_config_value("console");
bootrom = get_config_value("bootrom");
bootargs = get_config_value("fdt.bootargs");
string = get_config_value(
guest_uuid_str = get_config_value("uuid");
vmname = get_config_value("name");