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