/* SPDX-License-Identifier: GPL-2.0 */
#ifdef KVM_S390_ARM64
#include <uapi/arm64/kvm.h>
#else
#include <uapi/asm/kvm.h>
#endif