| 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 "system/cpus.h" |
| 14 | |
| 15 | int nvmm_init_vcpu(CPUState *cpu); |
| 16 | int nvmm_vcpu_exec(CPUState *cpu); |
| 17 | void nvmm_destroy_vcpu(CPUState *cpu); |
| 18 | |
| 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); |
| 23 | |
| 24 | #endif /* TARGET_I386_NVMM_ACCEL_OPS_H */ |