hyp_symbol_addr    81 arch/arm64/include/asm/kvm_asm.h 		void *__ptr = hyp_symbol_addr(sym);			\
hyp_symbol_addr    65 arch/arm64/kvm/hyp/vgic-v2-cpuif-proxy.c 	addr  = hyp_symbol_addr(kvm_vgic_global_state)->vcpu_hyp_va;