kvmppc_h_set_dabr  179 arch/powerpc/include/asm/asm-prototypes.h long kvmppc_h_set_dabr(struct kvm_vcpu *vcpu, unsigned long dabr);
kvmppc_h_set_dabr 1004 arch/powerpc/kvm/book3s_hv.c 		ret = kvmppc_h_set_dabr(vcpu, kvmppc_get_gpr(vcpu, 4));