x86/kvm/x86.c

3055 	write_seqcount_begin(&kvm->arch.pvclock_sc);
3072 	write_seqcount_end(&ka->pvclock_sc);
3106 /* Called within read_seqcount_begin/retry for kvm->pvclock_sc.  */
3148 		seq = read_seqcount_begin(&ka->pvclock_sc);
3150 	} while (read_seqcount_retry(&ka->pvclock_sc, seq));
3244 		seq = read_seqcount_begin(&ka->pvclock_sc);
3250 	} while (read_seqcount_retry(&ka->pvclock_sc, seq));
3356 		seq = read_seqcount_begin(&ka->pvclock_sc);
3384 	} while (read_seqcount_retry(&ka->pvclock_sc, seq));
12625 	seqcount_raw_spinlock_init(&kvm->arch.pvclock_sc, &kvm->arch.tsc_write_lock);