Open Menu /

Documented in 1 files:

Defined in 1 files as a function:

Referenced in 6 files:

Smatch caller information:

kernel/exit.c wait_task_zombie() -> write_sequnlock_irq()

Type Parameter Key Value
PARAM_VALUE 0 sl 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &psig->stats_lock.lock
LOCK2 irq
TYPE_LOCK (struct seqlock)->lock

block/badblocks.c _badblocks_clear() -> write_sequnlock_irq()

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

block/badblocks.c ack_all_badblocks() -> write_sequnlock_irq()

Type Parameter Key Value
PARAM_VALUE 0 sl 4096-ptr_max
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &bb->lock.lock
LOCK2 irq
HALF_LOCKED2 &mddev->cluster_info->recv_mutex
HALF_LOCKED2 &mddev->reconfig_mutex
HALF_LOCKED2 &of->mutex
TYPE_LOCK (struct seqlock)->lock

drivers/infiniband/hw/hfi1/mad.c set_sc2vlt_tables() -> write_sequnlock_irq()

Type Parameter Key Value
PARAM_VALUE 0 sl 4096-ptr_max
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &dd->sc2vl_lock.lock
LOCK2 irq
TYPE_LOCK (struct seqlock)->lock

drivers/md/raid10.c freeze_array() -> write_sequnlock_irq()

Type Parameter Key Value
PARAM_VALUE 0 sl 4096-ptr_max
PREEMPT_ADD <- disables preempt
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &conf->resync_lock.lock
LOCK2 irq
TYPE_LOCK (struct seqlock)->lock

drivers/md/raid10.c freeze_array() -> write_sequnlock_irq()

Type Parameter Key Value
PARAM_VALUE 0 sl 4096-ptr_max
PREEMPT_ADD <- disables preempt
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &conf->resync_lock.lock
LOCK2 irq
TYPE_LOCK (struct seqlock)->lock

drivers/md/raid10.c raise_barrier() -> write_sequnlock_irq()

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

drivers/md/raid10.c raise_barrier() -> write_sequnlock_irq()

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

drivers/md/raid10.c raise_barrier() -> write_sequnlock_irq()

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

drivers/md/raid10.c unfreeze_array() -> write_sequnlock_irq()

Type Parameter Key Value
PARAM_VALUE 0 sl 4096-ptr_max
PREEMPT_ADD <- disables preempt
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &conf->resync_lock.lock
LOCK2 irq
TYPE_LOCK (struct seqlock)->lock

drivers/md/raid10.c wait_barrier() -> write_sequnlock_irq()

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

drivers/md/raid10.c wait_barrier() -> write_sequnlock_irq()

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

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

Type Parameter Key Value
PREEMPT_ADD <- disables preempt
NOCHECK_CALL
LOCK2 &d->sl.lock
LOCK2 irq
TYPE_LOCK (struct seqlock)->lock

drivers/infiniband/hw/hfi1/qp.c qp_pio_drain() -> write_sequnlock_irq()

Type Parameter Key Value
PARAM_VALUE 0 sl 4096-ptr_max
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &priv->s_sendcontext->waitlock.lock
LOCK2 irq
TYPE_LOCK (struct seqlock)->lock

drivers/infiniband/hw/hfi1/qp.c qp_pio_drain() -> write_sequnlock_irq()

Type Parameter Key Value
PARAM_VALUE 0 sl 4096-ptr_max
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &priv->s_sendcontext->waitlock.lock
LOCK2 irq
TYPE_LOCK (struct seqlock)->lock