write_sequnlock_irqrestore   70 arch/x86/kernel/vsyscall_64.c 	write_sequnlock_irqrestore(&vsyscall_gtod_data.lock, flags);
write_sequnlock_irqrestore   87 arch/x86/kernel/vsyscall_64.c 	write_sequnlock_irqrestore(&vsyscall_gtod_data.lock, flags);
write_sequnlock_irqrestore  155 kernel/time/timekeeping.c 	write_sequnlock_irqrestore(&xtime_lock, flags);
write_sequnlock_irqrestore  261 kernel/time/timekeeping.c 	write_sequnlock_irqrestore(&xtime_lock, flags);
write_sequnlock_irqrestore  303 kernel/time/timekeeping.c 	write_sequnlock_irqrestore(&xtime_lock, flags);
write_sequnlock_irqrestore  325 kernel/time/timekeeping.c 	write_sequnlock_irqrestore(&xtime_lock, flags);