1// This file is used as src of virt_test_kernel module for the architectures 2// other than arm64 and x86_64 3