25 lines
730 B
C
25 lines
730 B
C
/*
|
|
* Copyright (c) 2018-2019 Maxime Villard, All rights reserved.
|
|
*
|
|
* NetBSD Virtual Machine Monitor (NVMM) accelerator for QEMU.
|
|
*
|
|
* This work is licensed under the terms of the GNU GPL, version 2 or later.
|
|
* See the COPYING file in the top-level directory.
|
|
*/
|
|
|
|
#ifndef TARGET_I386_NVMM_ACCEL_OPS_H
|
|
#define TARGET_I386_NVMM_ACCEL_OPS_H
|
|
|
|
#include "sysemu/cpus.h"
|
|
|
|
int nvmm_init_vcpu(CPUState *cpu);
|
|
int nvmm_vcpu_exec(CPUState *cpu);
|
|
void nvmm_destroy_vcpu(CPUState *cpu);
|
|
|
|
void nvmm_cpu_synchronize_state(CPUState *cpu);
|
|
void nvmm_cpu_synchronize_post_reset(CPUState *cpu);
|
|
void nvmm_cpu_synchronize_post_init(CPUState *cpu);
|
|
void nvmm_cpu_synchronize_pre_loadvm(CPUState *cpu);
|
|
|
|
#endif /* TARGET_I386_NVMM_ACCEL_OPS_H */
|