__kvm_migrate_apic_timer
__kvm_migrate_apic_timer(vcpu);
void __kvm_migrate_apic_timer(struct kvm_vcpu *vcpu);