Symbol: __kvm_migrate_pit_timer
arch/x86/kvm/irq.c
181
__kvm_migrate_pit_timer(vcpu);
arch/x86/kvm/irq.h
119
void __kvm_migrate_pit_timer(struct kvm_vcpu *vcpu);