1 /* 2 * WHPX stubs for QEMU 3 * 4 * Copyright (c) Linaro 5 * 6 * SPDX-License-Identifier: GPL-2.0-or-later 7 */ 8 9 #include "qemu/osdep.h" 10 #include "system/whpx.h" 11 12 bool whpx_allowed; 13