Symbol: update_timer_ints
arch/powerpc/kvm/booke.c
1425
update_timer_ints(vcpu);
arch/powerpc/kvm/booke.c
1866
update_timer_ints(vcpu);
arch/powerpc/kvm/booke.c
1888
update_timer_ints(vcpu);
arch/powerpc/kvm/booke.c
739
update_timer_ints(vcpu);