Symbol: kvmppc_set_dec_expires
arch/powerpc/kvm/book3s_hv.c
2668
kvmppc_set_dec_expires(vcpu, get_tb() + tb_offset);
arch/powerpc/kvm/book3s_hv.c
2751
kvmppc_set_dec_expires(vcpu, set_reg_val(id, *val));