kvmppc_core_queue_dtlb_miss
extern void kvmppc_core_queue_dtlb_miss(struct kvm_vcpu *vcpu,
kvmppc_core_queue_dtlb_miss(vcpu,