kvm_vcpu_hvc_get_imm   24 arch/arm/kvm/handle_exit.c 		      kvm_vcpu_hvc_get_imm(vcpu));
kvm_vcpu_hvc_get_imm   41 arch/arm64/kvm/handle_exit.c 			    kvm_vcpu_hvc_get_imm(vcpu));