|
@@ -36,6 +36,7 @@ bool machine_usb(MachineState *machine);
|
|
|
int machine_phandle_start(MachineState *machine);
|
|
|
bool machine_dump_guest_core(MachineState *machine);
|
|
|
bool machine_mem_merge(MachineState *machine);
|
|
|
+bool machine_require_guest_memfd(MachineState *machine);
|
|
|
HotpluggableCPUList *machine_query_hotpluggable_cpus(MachineState *machine);
|
|
|
void machine_set_cpu_numa_node(MachineState *machine,
|
|
|
const CpuInstanceProperties *props,
|
|
@@ -370,6 +371,7 @@ struct MachineState {
|
|
|
char *dt_compatible;
|
|
|
bool dump_guest_core;
|
|
|
bool mem_merge;
|
|
|
+ bool require_guest_memfd;
|
|
|
bool usb;
|
|
|
bool usb_disabled;
|
|
|
char *firmware;
|