Symbol: kvmppc_get_dec_expires
arch/powerpc/include/asm/kvm_book3s.h
622
return kvmppc_get_dec_expires(vcpu) - kvmppc_get_tb_offset(vcpu);
arch/powerpc/kvm/book3s_hv.c
2468
*val = get_reg_val(id, kvmppc_get_dec_expires(vcpu));
arch/powerpc/kvm/book3s_hv.c
2666
if (!kvmppc_get_dec_expires(vcpu) && tb_offset)