Documented in 1 files:

Defined in 1 files as a function:

Referenced in 17 files:

Smatch caller information:

drivers/infiniband/hw/hfi1/verbs_txreq.c hfi1_put_txreq() -> write_sequnlock_irqrestore()

Type Parameter Key Value
PARAM_VALUE 0 sl 4096-ptr_max
CAPPED_DATA 1 flags 1
CAPPED_DATA 1 flags 1
DATA_SOURCE 1 flags r __write_seqlock_irqsave
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &dev->txwait_lock.lock
HALF_LOCKED2 &qp->s_lock
HALF_LOCKED2 &sde->head_lock.lock
HALF_LOCKED2 &sde->tail_lock
HALF_LOCKED2 flags
HALF_LOCKED2 ps.flags
TYPE_LOCK (struct seqlock)->lock

drivers/infiniband/hw/hfi1/pio.c sc_piobufavail() -> write_sequnlock_irqrestore()

Type Parameter Key Value
PARAM_VALUE 0 sl 4096-ptr_max
CAPPED_DATA 1 flags 1
CAPPED_DATA 1 flags 1
DATA_SOURCE 1 flags r __write_seqlock_irqsave
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &sc->waitlock.lock
HALF_LOCKED2 &dd->sc_lock
HALF_LOCKED2 &sc->alloc_lock
HALF_LOCKED2 flags
TYPE_LOCK (struct seqlock)->lock

block/badblocks.c _badblocks_set() -> write_sequnlock_irqrestore()

Type Parameter Key Value
PARAM_VALUE 0 sl 4096-ptr_max
CAPPED_DATA 1 flags 1
CAPPED_DATA 1 flags 1
DATA_SOURCE 1 flags r __write_seqlock_irqsave
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &bb->lock.lock
HALF_LOCKED2 &buffer->mutex
HALF_LOCKED2 &frag->frag_sem
HALF_LOCKED2 &of->mutex
TYPE_LOCK (struct seqlock)->lock

drivers/infiniband/hw/hfi1/user_sdma.c flush_pq_iowait() -> write_sequnlock_irqrestore()

Type Parameter Key Value
PARAM_VALUE 0 sl 1-u64max
CAPPED_DATA 1 flags 1
CAPPED_DATA 1 flags 1
DATA_SOURCE 1 flags r __write_seqlock_irqsave
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 0 &sl->lock
HALF_LOCKED2 &fd->pq_srcu
TYPE_LOCK (struct seqlock)->lock

drivers/infiniband/hw/hfi1/verbs.c mem_timer() -> write_sequnlock_irqrestore()

Type Parameter Key Value
PARAM_VALUE 0 sl 4096-ptr_max
CAPPED_DATA 1 flags 1
CAPPED_DATA 1 flags 1
DATA_SOURCE 1 flags r __write_seqlock_irqsave
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &dev->iowait_lock.lock
TYPE_LOCK (struct seqlock)->lock

drivers/net/ethernet/broadcom/bnxt/bnxt.c bnxt_async_event_process() -> write_sequnlock_irqrestore()

Type Parameter Key Value
PARAM_VALUE 0 sl 4096-ptr_max
CAPPED_DATA 1 flags 1
CAPPED_DATA 1 flags 1
DATA_SOURCE 1 flags r __write_seqlock_irqsave
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &ptp->ptp_lock.lock
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read
TYPE_LOCK (struct seqlock)->lock

drivers/net/ethernet/broadcom/bnxt/bnxt.c bnxt_force_fw_reset() -> write_sequnlock_irqrestore()

Type Parameter Key Value
PARAM_VALUE 0 sl 4096-ptr_max
CAPPED_DATA 1 flags 1
CAPPED_DATA 1 flags 1
DATA_SOURCE 1 flags r __write_seqlock_irqsave
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &bp->dev->lock
LOCK2 &ptp->ptp_lock.lock
TYPE_LOCK (struct net_device)->lock
TYPE_LOCK (struct seqlock)->lock

drivers/infiniband/hw/hfi1/sdma.c sdma_field_flush() -> write_sequnlock_irqrestore()

Type Parameter Key Value
PARAM_VALUE 0 sl 4096-ptr_max
CAPPED_DATA 1 flags 1
CAPPED_DATA 1 flags 1
DATA_SOURCE 1 flags r __write_seqlock_irqsave
PREEMPT_ADD <- disables preempt
NOCHECK_CALL
LOCK2 &sde->head_lock.lock
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct seqlock)->lock

drivers/net/ethernet/mellanox/mlx5/core/lib/clock.c find_target_cycles() -> write_sequnlock_irqrestore()

Type Parameter Key Value
CAPPED_DATA 1 flags 1
CAPPED_DATA 1 flags 1
DATA_SOURCE 1 flags r __write_seqlock_irqsave
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &clock->lock.lock
TYPE_LOCK (struct seqlock)->lock

drivers/net/ethernet/mellanox/mlx5/core/lib/clock.c mlx5_clock_settime() -> write_sequnlock_irqrestore()

Type Parameter Key Value
PARAM_VALUE 0 sl 4096-ptr_max
CAPPED_DATA 1 flags 1
CAPPED_DATA 1 flags 1
DATA_SOURCE 1 flags r __write_seqlock_irqsave
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &clock->lock.lock
HALF_LOCKED2 &mdev->intf_state_mutex
TYPE_LOCK (struct seqlock)->lock

drivers/net/ethernet/mellanox/mlx5/core/lib/clock.c mlx5_pps_event() -> write_sequnlock_irqrestore()

Type Parameter Key Value
PARAM_VALUE 0 sl 4096-ptr_max
CAPPED_DATA 1 flags 1
CAPPED_DATA 1 flags 1
DATA_SOURCE 1 flags r __write_seqlock_irqsave
PREEMPT_ADD <- disables preempt
NOCHECK_CALL
LOCK2 &clock->lock.lock
TYPE_LOCK (struct seqlock)->lock

drivers/net/ethernet/mellanox/mlx5/core/lib/clock.c mlx5_pps_out() -> write_sequnlock_irqrestore()

Type Parameter Key Value
CAPPED_DATA 1 flags 1
CAPPED_DATA 1 flags 1
DATA_SOURCE 1 flags r __write_seqlock_irqsave
PREEMPT_ADD <- disables preempt
NOCHECK_CALL
LOCK2 &clock->lock.lock
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct seqlock)->lock

drivers/net/ethernet/mellanox/mlx5/core/lib/clock.c mlx5_ptp_adjfine() -> write_sequnlock_irqrestore()

Type Parameter Key Value
PARAM_VALUE 0 sl 4096-ptr_max
CAPPED_DATA 1 flags 1
CAPPED_DATA 1 flags 1
DATA_SOURCE 1 flags r __write_seqlock_irqsave
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &clock->lock.lock
TYPE_LOCK (struct seqlock)->lock

drivers/net/ethernet/mellanox/mlx5/core/lib/clock.c mlx5_ptp_adjtime() -> write_sequnlock_irqrestore()

Type Parameter Key Value
PARAM_VALUE 0 sl 4096-ptr_max
CAPPED_DATA 1 flags 1
CAPPED_DATA 1 flags 1
DATA_SOURCE 1 flags r __write_seqlock_irqsave
PREEMPT_ADD <- disables preempt
NOCHECK_CALL
LOCK2 &clock->lock.lock
TYPE_LOCK (struct seqlock)->lock

drivers/net/ethernet/mellanox/mlx5/core/lib/clock.c mlx5_timestamp_overflow() -> write_sequnlock_irqrestore()

Type Parameter Key Value
PARAM_VALUE 0 sl 4096-ptr_max
CAPPED_DATA 1 flags 1
CAPPED_DATA 1 flags 1
DATA_SOURCE 1 flags r __write_seqlock_irqsave
PREEMPT_ADD <- disables preempt
NOCHECK_CALL
LOCK2 &clock->lock.lock
TYPE_LOCK (struct seqlock)->lock

drivers/net/ethernet/mellanox/mlx4/en_clock.c mlx4_en_init_timestamp() -> write_sequnlock_irqrestore()

Type Parameter Key Value
PARAM_VALUE 0 sl 4096-ptr_max
CAPPED_DATA 1 flags 1
CAPPED_DATA 1 flags 1
DATA_SOURCE 1 flags r __write_seqlock_irqsave
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &mdev->clock_lock.lock
TYPE_LOCK (struct seqlock)->lock

drivers/net/ethernet/mellanox/mlx4/en_clock.c mlx4_en_phc_adjfine() -> write_sequnlock_irqrestore()

Type Parameter Key Value
PARAM_VALUE 0 sl 4096-ptr_max
CAPPED_DATA 1 flags 1
CAPPED_DATA 1 flags 1
DATA_SOURCE 1 flags r __write_seqlock_irqsave
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &mdev->clock_lock.lock
TYPE_LOCK (struct seqlock)->lock

drivers/net/ethernet/mellanox/mlx4/en_clock.c mlx4_en_phc_adjtime() -> write_sequnlock_irqrestore()

Type Parameter Key Value
PARAM_VALUE 0 sl 4096-ptr_max
CAPPED_DATA 1 flags 1
CAPPED_DATA 1 flags 1
DATA_SOURCE 1 flags r __write_seqlock_irqsave
PREEMPT_ADD <- disables preempt
NOCHECK_CALL
LOCK2 &mdev->clock_lock.lock
TYPE_LOCK (struct seqlock)->lock

drivers/net/ethernet/mellanox/mlx4/en_clock.c mlx4_en_phc_gettime() -> write_sequnlock_irqrestore()

Type Parameter Key Value
PARAM_VALUE 0 sl 4096-ptr_max
CAPPED_DATA 1 flags 1
CAPPED_DATA 1 flags 1
DATA_SOURCE 1 flags r __write_seqlock_irqsave
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &mdev->clock_lock.lock
HALF_LOCKED2 &priv->est_lock
HALF_LOCKED2 &priv->lock
HALF_LOCKED2 flags
TYPE_LOCK (struct seqlock)->lock

drivers/net/ethernet/mellanox/mlx4/en_clock.c mlx4_en_phc_settime() -> write_sequnlock_irqrestore()

Type Parameter Key Value
PARAM_VALUE 0 sl 4096-ptr_max
CAPPED_DATA 1 flags 1
CAPPED_DATA 1 flags 1
DATA_SOURCE 1 flags r __write_seqlock_irqsave
PREEMPT_ADD <- disables preempt
NOCHECK_CALL
LOCK2 &mdev->clock_lock.lock
TYPE_LOCK (struct seqlock)->lock

drivers/net/ethernet/mellanox/mlx4/en_clock.c mlx4_en_ptp_overflow_check() -> write_sequnlock_irqrestore()

Type Parameter Key Value
PARAM_VALUE 0 sl 4096-ptr_max
CAPPED_DATA 1 flags 1
CAPPED_DATA 1 flags 1
DATA_SOURCE 1 flags r __write_seqlock_irqsave
PREEMPT_ADD <- disables preempt
NOCHECK_CALL
LOCK2 &mdev->clock_lock.lock
LOCK2 &mdev->state_lock
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct mlx4_en_dev)->state_lock
TYPE_LOCK (struct seqlock)->lock

mm/page_alloc.c __build_all_zonelists() -> write_sequnlock_irqrestore()

Type Parameter Key Value
PARAM_VALUE 0 sl 658766492266270720
CAPPED_DATA 1 flags 1
CAPPED_DATA 1 flags 1
DATA_SOURCE 1 flags r __write_seqlock_irqsave
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &zonelist_update_seq.lock
HALF_LOCKED2 &dev->mutex
HALF_LOCKED2 irq
TYPE_LOCK (struct seqlock)->lock

drivers/net/ethernet/wangxun/libwx/wx_ptp.c wx_ptp_adjtime() -> write_sequnlock_irqrestore()

Type Parameter Key Value
PARAM_VALUE 0 sl 4096-ptr_max
CAPPED_DATA 1 flags 1
CAPPED_DATA 1 flags 1
DATA_SOURCE 1 flags r __write_seqlock_irqsave
PREEMPT_ADD <- disables preempt
NOCHECK_CALL
LOCK2 &wx->hw_tc_lock.lock
TYPE_LOCK (struct seqlock)->lock

drivers/net/ethernet/wangxun/libwx/wx_ptp.c wx_ptp_overflow_check() -> write_sequnlock_irqrestore()

Type Parameter Key Value
PARAM_VALUE 0 sl 4096-ptr_max
CAPPED_DATA 1 flags 1
CAPPED_DATA 1 flags 1
DATA_SOURCE 1 flags r __write_seqlock_irqsave
PREEMPT_ADD <- disables preempt
NOCHECK_CALL
LOCK2 &wx->hw_tc_lock.lock
TYPE_LOCK (struct seqlock)->lock

drivers/net/ethernet/wangxun/libwx/wx_ptp.c wx_ptp_reset() -> write_sequnlock_irqrestore()

Type Parameter Key Value
PARAM_VALUE 0 sl 4096-ptr_max
CAPPED_DATA 1 flags 1
CAPPED_DATA 1 flags 1
DATA_SOURCE 1 flags r __write_seqlock_irqsave
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &wx->hw_tc_lock.lock
HALF_LOCKED2 &wx->reset_lock
TYPE_LOCK (struct seqlock)->lock

drivers/net/ethernet/wangxun/libwx/wx_ptp.c wx_ptp_reset_cyclecounter() -> write_sequnlock_irqrestore()

Type Parameter Key Value
PARAM_VALUE 0 sl 4096-ptr_max
CAPPED_DATA 1 flags 1
CAPPED_DATA 1 flags 1
DATA_SOURCE 1 flags r __write_seqlock_irqsave
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &wx->hw_tc_lock.lock
HALF_LOCKED2 &pl->phydev_mutex
HALF_LOCKED2 &pl->state_mutex
TYPE_LOCK (struct seqlock)->lock

drivers/net/ethernet/wangxun/libwx/wx_ptp.c wx_ptp_settime64() -> write_sequnlock_irqrestore()

Type Parameter Key Value
PARAM_VALUE 0 sl 4096-ptr_max
CAPPED_DATA 1 flags 1
CAPPED_DATA 1 flags 1
DATA_SOURCE 1 flags r __write_seqlock_irqsave
PREEMPT_ADD <- disables preempt
NOCHECK_CALL
LOCK2 &wx->hw_tc_lock.lock
TYPE_LOCK (struct seqlock)->lock

drivers/net/ethernet/wangxun/libwx/wx_ptp.c wx_ptp_trigger_calc() -> write_sequnlock_irqrestore()

Type Parameter Key Value
PARAM_VALUE 0 sl 4096-ptr_max
CAPPED_DATA 1 flags 1
CAPPED_DATA 1 flags 1
DATA_SOURCE 1 flags r __write_seqlock_irqsave
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &wx->hw_tc_lock.lock
TYPE_LOCK (struct seqlock)->lock

drivers/net/ethernet/broadcom/bnxt/bnxt_ptp.c bnxt_ptp_adjfine() -> write_sequnlock_irqrestore()

Type Parameter Key Value
PARAM_VALUE 0 sl 4096-ptr_max
CAPPED_DATA 1 flags 1
CAPPED_DATA 1 flags 1
DATA_SOURCE 1 flags r __write_seqlock_irqsave
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &ptp->ptp_lock.lock
TYPE_LOCK (struct seqlock)->lock

drivers/net/ethernet/broadcom/bnxt/bnxt_ptp.c bnxt_ptp_adjtime() -> write_sequnlock_irqrestore()

Type Parameter Key Value
PARAM_VALUE 0 sl 4096-ptr_max
CAPPED_DATA 1 flags 1
CAPPED_DATA 1 flags 1
DATA_SOURCE 1 flags r __write_seqlock_irqsave
PREEMPT_ADD <- disables preempt
NOCHECK_CALL
LOCK2 &ptp->ptp_lock.lock
TYPE_LOCK (struct seqlock)->lock

drivers/net/ethernet/broadcom/bnxt/bnxt_ptp.c bnxt_ptp_init_rtc() -> write_sequnlock_irqrestore()

Type Parameter Key Value
PARAM_VALUE 0 sl 4096-ptr_max
CAPPED_DATA 1 flags 1
CAPPED_DATA 1 flags 1
DATA_SOURCE 1 flags r __write_seqlock_irqsave
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &bp->ptp_cfg->ptp_lock.lock
TYPE_LOCK (struct seqlock)->lock

drivers/net/ethernet/broadcom/bnxt/bnxt_ptp.c bnxt_ptp_settime() -> write_sequnlock_irqrestore()

Type Parameter Key Value
PARAM_VALUE 0 sl 4096-ptr_max
CAPPED_DATA 1 flags 1
CAPPED_DATA 1 flags 1
DATA_SOURCE 1 flags r __write_seqlock_irqsave
PREEMPT_ADD <- disables preempt
NOCHECK_CALL
LOCK2 &ptp->ptp_lock.lock
TYPE_LOCK (struct seqlock)->lock

drivers/net/ethernet/broadcom/bnxt/bnxt_ptp.c bnxt_ptp_timecounter_init() -> write_sequnlock_irqrestore()

Type Parameter Key Value
PARAM_VALUE 0 sl 4096-ptr_max
CAPPED_DATA 1 flags 1
CAPPED_DATA 1 flags 1
DATA_SOURCE 1 flags r __write_seqlock_irqsave
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &ptp->ptp_lock.lock
TYPE_LOCK (struct seqlock)->lock

drivers/net/ethernet/broadcom/bnxt/bnxt_ptp.c bnxt_ptp_ts_aux_work() -> write_sequnlock_irqrestore()

Type Parameter Key Value
PARAM_VALUE 0 sl 4096-ptr_max
CAPPED_DATA 1 flags 1
CAPPED_DATA 1 flags 1
DATA_SOURCE 1 flags r __write_seqlock_irqsave
PREEMPT_ADD <- disables preempt
NOCHECK_CALL
LOCK2 &ptp->ptp_lock.lock
TYPE_LOCK (struct seqlock)->lock

drivers/md/raid10.c lower_barrier() -> write_sequnlock_irqrestore()

Type Parameter Key Value
PARAM_VALUE 0 sl 4096-ptr_max
CAPPED_DATA 1 flags 1
CAPPED_DATA 1 flags 1
DATA_SOURCE 1 flags r __write_seqlock_irqsave
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &conf->resync_lock.lock
TYPE_LOCK (struct seqlock)->lock

lib/test_context-analysis.c test_seqlock_writer() -> write_sequnlock_irqrestore()

Type Parameter Key Value
CAPPED_DATA 1 flags 1
CAPPED_DATA 1 flags 1
DATA_SOURCE 1 flags r __write_seqlock_irqsave
PREEMPT_ADD <- disables preempt
NOCHECK_CALL
LOCK2 &d->sl.lock
TYPE_LOCK (struct seqlock)->lock

drivers/infiniband/hw/hfi1/qp.c flush_iowait() -> write_sequnlock_irqrestore()

Type Parameter Key Value
PARAM_VALUE 0 sl 1-u64max
CAPPED_DATA 1 flags 1
CAPPED_DATA 1 flags 1
DATA_SOURCE 1 flags r __write_seqlock_irqsave
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &qp->r_lock
LOCK2 &qp->s_hlock
LOCK2 &qp->s_lock
LOCK2 irq
LOCK2 0 &sl->lock
TYPE_LOCK (struct rvt_qp)->r_lock
TYPE_LOCK (struct rvt_qp)->s_hlock
TYPE_LOCK (struct rvt_qp)->s_lock
TYPE_LOCK (struct seqlock)->lock