__cpu_init_stage2  313 arch/arm/include/asm/kvm_host.h static inline void __cpu_init_stage2(void)
__cpu_init_stage2  563 arch/arm64/include/asm/kvm_host.h static inline void __cpu_init_stage2(void) {}