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