kvmppc_get_dec - Linux

Symbol: kvmppc_get_dec

arch/powerpc/include/asm/kvm_ppc.h

extern u32 kvmppc_get_dec(struct kvm_vcpu *vcpu, u64 tb);

arch/powerpc/kvm/booke.c

sregs->u.e.dec = kvmppc_get_dec(vcpu, tb);

arch/powerpc/kvm/emulate.c

spr_val = kvmppc_get_dec(vcpu, get_tb());