Defined in 1 files as a prototype:

Defined in 2 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/block/null_blk/main.c null_transfer() -> null_zone_valid_read_len()

Type Parameter Key Value
PARAM_VALUE 0 nullb 4096-ptr_max
PARAM_VALUE 0 nullb->dev 4096-ptr_max
PARAM_VALUE 1 sector 0-18014398509481983
DATA_SOURCE 0 nullb $0
DATA_SOURCE 2 len $2
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
UNITS 2 len unit_byte
LOCK2 irq
LOCK2 0 &nullb->lock
TYPE_LOCK (struct nullb)->lock