Symbol: write_seqlock_irqsave