Defined in 1 files as a prototype:

Defined in 2 files as a function:

Referenced in 2 files:

Smatch caller information:

block/blk-mq.c blk_insert_cloned_request() -> should_fail_request()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 __tag_set->srcu
HALF_LOCKED2 rcu_read

block/blk-core.c blk_partition_remap() -> should_fail_request()

Type Parameter Key Value
PARAM_VALUE 0 part 4096-ptr_max
NOSPEC 1 bytes
NOSPEC 1 bytes
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 1 bytes 0-u32max[c]
USER_DATA 1 bytes 0-u32max
UNITS 0 part unit_byte
UNITS 1 bytes unit_byte
HALF_LOCKED2 &bio->bi_bdev->bd_queue->queue_lock
HALF_LOCKED2 &cache->writeback_lock
HALF_LOCKED2 &head->srcu
HALF_LOCKED2 &md->io_barrier
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 &zmd->mblk_sem
HALF_LOCKED2 global &bch_register_lock

block/blk-core.c should_fail_bio() -> should_fail_request()

Type Parameter Key Value
NOSPEC 1 bytes
NOSPEC 1 bytes
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 1 bytes 0-u32max[c]
USER_DATA 1 bytes 0-u32max
UNITS 1 bytes unit_byte
HALF_LOCKED2 &bio->bi_bdev->bd_queue->queue_lock