set_config_bool
set_config_bool("x86.x2apic", false);
set_config_bool("acpi_tables", true);
set_config_bool("destroy_on_poweroff", true);
set_config_bool("suspend_at_boot", true);
set_config_bool("memory.guest_in_core", true);
set_config_bool("memory.wired", true);
set_config_bool("x86.vmexit_on_hlt", true);
set_config_bool("x86.vmexit_on_pause", true);
set_config_bool("x86.strictio", true);
set_config_bool("rtc.use_localtime", false);
set_config_bool("x86.strictmsr", false);
set_config_bool("virtio.msix", false);
set_config_bool("x86.x2apic", true);
set_config_bool("x86.mptable", false);
set_config_bool("acpi_tables", false);
set_config_bool("acpi_tables_in_memory", true);
set_config_bool("x86.strictmsr", true);
set_config_bool(node_name, true);
set_config_bool("gdb.wait", true);
void set_config_bool(const char *path, bool value);