Searched refs:kvmppc_get_dec (Results 1 – 3 of 3) sorted by relevance
114 u32 kvmppc_get_dec(struct kvm_vcpu *vcpu, u64 tb) in kvmppc_get_dec() function293 kvmppc_get_dec(vcpu, get_tb())); in kvmppc_emulate_instruction()
752 sregs->u.e.dec = kvmppc_get_dec(vcpu, tb); in get_sregs_base()
68 extern u32 kvmppc_get_dec(struct kvm_vcpu *vcpu, u64 tb);