| /* |
| * 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 */ |
