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_seqlock_irq()

Type Parameter Key Value
PARAM_VALUE 0 sl 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 0 sl 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &buffer->mutex
HALF_LOCKED2 &frag->frag_sem

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

Type Parameter Key Value
PARAM_VALUE 0 sl 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &mddev->cluster_info->recv_mutex
HALF_LOCKED2 &mddev->reconfig_mutex
HALF_LOCKED2 &of->mutex

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

Type Parameter Key Value
PARAM_VALUE 0 sl 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 0 sl 4096-ptr_max
TASK_NOT_RUNNING
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 0 sl 4096-ptr_max
TASK_NOT_RUNNING
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 0 sl 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 0 sl 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 0 sl 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 0 sl 4096-ptr_max
TASK_NOT_RUNNING
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 0 sl 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 0 sl 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

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

Type Parameter Key Value
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 0 sl 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 0 sl 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL