Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

block/blk-crypto.c __bio_crypt_advance() -> bio_crypt_dun_increment()

Type Parameter Key Value
BUF_SIZE 0 dun 32
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 1 inc 0-u32max[c]
USER_DATA 1 inc 0-u32max[c]
HALF_LOCKED2 &bio->bi_bdev->bd_queue->queue_lock
HALF_LOCKED2 &md->io_barrier
HALF_LOCKED2 &wc->lock
HALF_LOCKED2 &zmd->mblk_sem

block/blk-crypto-fallback.c __blk_crypto_fallback_decrypt_bio() -> bio_crypt_dun_increment()

Type Parameter Key Value
PARAM_VALUE 0 dun 331910929898819584
PARAM_VALUE 1 inc 1
BUF_SIZE 0 dun 32
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

block/blk-crypto-fallback.c __blk_crypto_fallback_encrypt_bio() -> bio_crypt_dun_increment()

Type Parameter Key Value
PARAM_VALUE 0 dun 4196868686442221568
PARAM_VALUE 1 inc 1
BUF_SIZE 0 dun 32
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &md->io_barrier