1/* 2 * Copyright (c) 2018-2019 Maxime Villard, All rights reserved. 3 * 4 * NetBSD Virtual Machine Monitor (NVMM) accelerator for QEMU. 5 * 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. 8 */ 9 10#ifndef TARGET_I386_NVMM_ACCEL_OPS_H 11#define TARGET_I386_NVMM_ACCEL_OPS_H 12 13#include "sysemu/cpus.h" 14 15int nvmm_init_vcpu(CPUState *cpu); 16int nvmm_vcpu_exec(CPUState *cpu); 17void nvmm_destroy_vcpu(CPUState *cpu); 18 19void nvmm_cpu_synchronize_state(CPUState *cpu); 20void nvmm_cpu_synchronize_post_reset(CPUState *cpu); 21void nvmm_cpu_synchronize_post_init(CPUState *cpu); 22void nvmm_cpu_synchronize_pre_loadvm(CPUState *cpu); 23 24#endif /* TARGET_I386_NVMM_ACCEL_OPS_H */ 25