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