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