kvmppc_get_dec     98 arch/powerpc/include/asm/kvm_ppc.h extern u32 kvmppc_get_dec(struct kvm_vcpu *vcpu, u64 tb);
kvmppc_get_dec   1505 arch/powerpc/kvm/booke.c 	sregs->u.e.dec = kvmppc_get_dec(vcpu, tb);
kvmppc_get_dec    173 arch/powerpc/kvm/emulate.c 		spr_val = kvmppc_get_dec(vcpu, get_tb());