2 * Copyright (c) 2018-2019 Maxime Villard, All rights reserved.
4 * NetBSD Virtual Machine Monitor (NVMM) accelerator for QEMU.
6 * This work is licensed under the terms of the GNU GPL, version 2 or later.
7 * See the COPYING file in the top-level directory.
10 #ifndef TARGET_I386_NVMM_ACCEL_OPS_H
11 #define TARGET_I386_NVMM_ACCEL_OPS_H
13 #include "sysemu/cpus.h"
15 int nvmm_init_vcpu(CPUState
*cpu
);
16 int nvmm_vcpu_exec(CPUState
*cpu
);
17 void nvmm_destroy_vcpu(CPUState
*cpu
);
19 void nvmm_cpu_synchronize_state(CPUState
*cpu
);
20 void nvmm_cpu_synchronize_post_reset(CPUState
*cpu
);
21 void nvmm_cpu_synchronize_post_init(CPUState
*cpu
);
22 void nvmm_cpu_synchronize_pre_loadvm(CPUState
*cpu
);
24 #endif /* TARGET_I386_NVMM_ACCEL_OPS_H */