Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/nvdimm/btt.c btt_do_bvec() -> btt_write_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 sector $6
DATA_SOURCE 3 page $2
DATA_SOURCE 4 off $4
DATA_SOURCE 5 len $3
NOSPEC 2 sector
NOSPEC 2 sector
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 2 sector 0-u64max
USER_DATA 2 sector 0-u64max
UNITS 0 btt unit_byte
UNITS 2 sector unit_byte
UNITS 3 page unit_page
UNITS 4 off unit_byte
UNITS 5 len unit_byte