2 * Copyright (c) 2018-2019 Maxime Villard, All rights reserved.
4 * NetBSD Virtual Machine Monitor (NVMM) accelerator support.
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.
10 /* header to be included in non-NVMM-specific code */
19 int nvmm_enabled(void);
21 #else /* CONFIG_NVMM */
23 #define nvmm_enabled() (0)
25 #endif /* CONFIG_NVMM */
27 #endif /* NEED_CPU_H */
29 #endif /* QEMU_NVMM_H */