/* | |
* Copyright (c) 2018-2019 Maxime Villard, All rights reserved. | |
* | |
* NetBSD Virtual Machine Monitor (NVMM) accelerator support. | |
* | |
* This work is licensed under the terms of the GNU GPL, version 2 or later. | |
* See the COPYING file in the top-level directory. | |
*/ | |
/* header to be included in non-NVMM-specific code */ | |
#ifndef QEMU_NVMM_H | |
#define QEMU_NVMM_H | |
#ifdef NEED_CPU_H | |
#ifdef CONFIG_NVMM | |
int nvmm_enabled(void); | |
#else /* CONFIG_NVMM */ | |
#define nvmm_enabled() (0) | |
#endif /* CONFIG_NVMM */ | |
#endif /* NEED_CPU_H */ | |
#endif /* QEMU_NVMM_H */ |