accel/stubs/whpx-stub.c

/*
 * WHPX stubs for QEMU
 *
 *  Copyright (c) Linaro
 *
 * SPDX-License-Identifier: GPL-2.0-or-later
 */

#include "qemu/osdep.h"
#include "system/whpx.h"

bool whpx_allowed;