Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/nvdimm/btt.c btt_do_bvec() -> btt_read_pg()

Type Parameter Key Value
PARAM_VALUE 0 btt 4096-ptr_max
PARAM_VALUE 0 btt->sector_size 0,512,4096
PARAM_VALUE 5 len 0-4096
BUF_SIZE 0 btt s32min-(-2),1-s32max
BUF_SIZE 0 btt s32min-(-2),1-s32max
CAPPED_DATA 0 btt->sector_size 1
DATA_SOURCE 0 btt $0
DATA_SOURCE 1 bip $1
DATA_SOURCE 2 page $2
DATA_SOURCE 3 off $4
DATA_SOURCE 4 sector $6
DATA_SOURCE 5 len $3
NOSPEC 4 sector
NOSPEC 4 sector
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 4 sector 0-u64max
USER_DATA 4 sector 0-u64max
UNITS 0 btt unit_byte
UNITS 2 page unit_page
UNITS 3 off unit_byte
UNITS 4 sector unit_byte
UNITS 5 len unit_byte