kvmppc_set_exit_type   21 arch/powerpc/kvm/timing.h static inline void kvmppc_set_exit_type(struct kvm_vcpu *vcpu, int type)
kvmppc_set_exit_type   33 arch/powerpc/kvm/timing.h static inline void kvmppc_set_exit_type(struct kvm_vcpu *vcpu, int type) {}