Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

block/early-lookup.c blk_lookup_devt() -> part_devt()

Type Parameter Key Value
PARAM_VALUE 0 disk 4096-ptr_max
CAPPED_DATA 0 disk->minors 1
DATA_SOURCE 1 partno $1
PARAM_COMPARE 0 disk->minors <= $1
PARAM_COMPARE 1 partno >= $0->minors
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 partno 0-255
HALF_LOCKED2 global &pstore_blk_lock

block/early-lookup.c devt_from_partuuid() -> part_devt()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 global &pstore_blk_lock