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