__kvm_hyp_init_end   54 arch/arm/include/asm/kvm_asm.h extern char __kvm_hyp_init_end[];
__kvm_hyp_init_end   56 arch/arm64/include/asm/kvm_asm.h extern char __kvm_hyp_init_end[];