Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

fs/fs-writeback.c blk_flush_plug() -> __blk_flush_plug()

Type Parameter Key Value
PARAM_VALUE 0 plug 1-u64max
DATA_SOURCE 0 plug $0
DATA_SOURCE 1 from_schedule $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

block/blk-core.c blk_finish_plug() -> __blk_flush_plug()

Type Parameter Key Value
PARAM_VALUE 1 from_schedule 0
CAPPED_DATA 0 plug 1
DATA_SOURCE 0 plug $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &bdev->bd_mapping->host->i_rwsem
HALF_LOCKED2 &bdev->bd_mapping->invalidate_lock
HALF_LOCKED2 &ctx->uring_lock
HALF_LOCKED2 &dcc->cmd_lock
HALF_LOCKED2 &inode->i_rwsem
HALF_LOCKED2 &journal->j_checkpoint_mutex
HALF_LOCKED2 &log_root_tree->log_mutex
HALF_LOCKED2 &root->log_mutex
HALF_LOCKED2 &sbi->fat_lock
HALF_LOCKED2 &sbi->flush_lock
HALF_LOCKED2 &sbi->gc_lock.internal_rwsem
HALF_LOCKED2 &zmd->mblk_flush_lock
HALF_LOCKED2 &zmd->mblk_sem
HALF_LOCKED2 global &device_hotplug_lock
HALF_LOCKED2 global &system_transition_mutex

block/blk-core.c blk_flush_plug() -> __blk_flush_plug()

Type Parameter Key Value
PARAM_VALUE 0 plug 1-u64max
PARAM_VALUE 1 from_schedule 0
DATA_SOURCE 0 plug $0
DATA_SOURCE 1 from_schedule $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &ctx->uring_lock
HALF_LOCKED2 rcu_read

kernel/sched/core.c blk_flush_plug() -> __blk_flush_plug()

Type Parameter Key Value
PARAM_VALUE 0 plug 1-u64max
PARAM_VALUE 1 from_schedule 1
DATA_SOURCE 0 plug $0
DATA_SOURCE 1 from_schedule $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL