Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/mtd/nand/raw/vf610_nfc.c vf610_nfc_cmd() -> vf610_nfc_run()

Type Parameter Key Value
PARAM_VALUE 0 nfc 4096-ptr_max
PARAM_VALUE 3 cmd1 0,16777216,67108864-83886080,268435456,369098752-385875968,419430400,805306368-822083584,905969664,1056964608,1342177280,1610612736,1879048192,2046820352,2147483648,2231369728,2415919104,3103784960,3489660928-u32max
PARAM_VALUE 5 trfr_sz 0
DATA_SOURCE 0 nfc r chip_to_nfc
FUZZY_MAX 3 cmd1 0
BIT_INFO 3 cmd1 0x0,0x0
BIT_INFO 4 cmd2 0x0,0x41e000
NOCHECK_CALL

drivers/mtd/nand/raw/vf610_nfc.c vf610_nfc_read_page() -> vf610_nfc_run()

Type Parameter Key Value
PARAM_VALUE 0 nfc 4096-ptr_max
PARAM_VALUE 1 col 0
PARAM_VALUE 2 row 0-16777215
PARAM_VALUE 3 cmd1 805306368
PARAM_VALUE 4 cmd2 8183808,8314880
DATA_SOURCE 0 nfc r chip_to_nfc
BIT_INFO 4 cmd2 0xe000,0x7fff00
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 2 row 0-16777215[c]
USER_DATA 2 row 0-16777215[c]
UNITS 5 trfr_sz unit_byte
HALF_LOCKED2 &chip->controller->lock
HALF_LOCKED2 &chip->lock

drivers/mtd/nand/raw/vf610_nfc.c vf610_nfc_write_page() -> vf610_nfc_run()

Type Parameter Key Value
PARAM_VALUE 0 nfc 4096-ptr_max
PARAM_VALUE 1 col 0
PARAM_VALUE 2 row 0-16777215
PARAM_VALUE 3 cmd1 268435456
PARAM_VALUE 4 cmd2 2155724800,2155855872
DATA_SOURCE 0 nfc r chip_to_nfc
BIT_INFO 4 cmd2 0x8001c000,0x807fff00
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 5 trfr_sz unit_byte
HALF_LOCKED2 &chip->controller->lock
HALF_LOCKED2 &chip->lock