25 lines
679 B
C
25 lines
679 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 NVMM_CPUS_H
|
||
|
#define NVMM_CPUS_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 /* NVMM_CPUS_H */
|