kern_hyp_va        17 arch/arm/include/asm/kvm_mmu.h #define kern_hyp_va(kva)	(kva)
kern_hyp_va       107 arch/arm64/include/asm/kvm_mmu.h #define kern_hyp_va(v) 	((typeof(v))(__kern_hyp_va((unsigned long)(v))))