hc
2023-11-06 89281ea41721b3027e14d66c19f2dbb4d11847d3
1
2
/* SPDX-License-Identifier: GPL-2.0 WITH Linux-syscall-note */
#include <asm-generic/kvm_para.h>