kernel-fxtec-pro1x/arch/arm64/include/asm/hypervisor.h