Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/mtd/nand/raw/vf610_nfc.c vf610_nfc_clear() -> vf610_nfc_write()

Type Parameter Key Value
PARAM_VALUE 0 nfc 4096-ptr_max
PARAM_VALUE 1 reg 16176,16184
BUF_SIZE 0 nfc s32min-(-1),1-s32max
BUF_SIZE 0 nfc s32min-(-1),1-s32max
BUF_SIZE 0 nfc->clk (-1),1-s32max
BUF_SIZE 0 nfc->dev (-1),1616
CAPPED_DATA 2 val 1
DATA_SOURCE 0 nfc $0
DATA_SOURCE 1 reg $1
HARD_MAX 1 reg 16184
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 2 val 0-u32max
UNITS 0 nfc unit_byte

drivers/mtd/nand/raw/vf610_nfc.c vf610_nfc_clear_status() -> vf610_nfc_write()

Type Parameter Key Value
PARAM_VALUE 0 nfc 4096-ptr_max
PARAM_VALUE 1 reg 16184
DATA_SOURCE 0 nfc $0
BIT_INFO 2 val 0x60000,0xffffffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 2 val 0-u32max

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

Type Parameter Key Value
PARAM_VALUE 0 nfc 4096-ptr_max
PARAM_VALUE 1 reg 16172
DATA_SOURCE 0 nfc $0
DATA_SOURCE 2 val $5
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 2 val unit_byte

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

Type Parameter Key Value
PARAM_VALUE 0 nfc 4096-ptr_max
PARAM_VALUE 1 reg 16128
PARAM_VALUE 2 val 0,16777216,67108864-83886080,268435456,369098752-385875968,419430400,805306368-822083584,905969664,1056964608,1342177280,1610612736,1879048192,2046820352,2147483648,2231369728,2415919104,3103784960,3489660928-u32max
DATA_SOURCE 0 nfc $0
DATA_SOURCE 2 val $3
FUZZY_MAX 2 val 0
BIT_INFO 2 val 0x0,0x30000000
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 0 nfc 4096-ptr_max
PARAM_VALUE 1 reg 16132
DATA_SOURCE 0 nfc $0
DATA_SOURCE 2 val $4
BIT_INFO 2 val 0x0,0x807fff00
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/mtd/nand/raw/vf610_nfc.c vf610_nfc_select_target() -> vf610_nfc_write()

Type Parameter Key Value
PARAM_VALUE 0 nfc 4096-ptr_max
PARAM_VALUE 1 reg 16140
DATA_SOURCE 0 nfc r chip_to_nfc
BIT_INFO 2 val 0x10000000,0xffffffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 2 val 0-u32max[c]
USER_DATA 2 val 0-u32max[c][u]
HALF_LOCKED2 &chip->controller->lock
HALF_LOCKED2 &chip->lock

drivers/mtd/nand/raw/vf610_nfc.c vf610_nfc_set() -> vf610_nfc_write()

Type Parameter Key Value
PARAM_VALUE 0 nfc 4096-ptr_max
PARAM_VALUE 1 reg 16132,16176,16184
BUF_SIZE 0 nfc s32min-(-1),1-s32max
BUF_SIZE 0 nfc s32min-(-1),1-s32max
BUF_SIZE 0 nfc->clk (-1),1-s32max
BUF_SIZE 0 nfc->dev (-1),1616
DATA_SOURCE 0 nfc $0
DATA_SOURCE 1 reg $1
HARD_MAX 1 reg 16184
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 2 val 0-u32max
UNITS 0 nfc unit_byte

drivers/mtd/nand/raw/vf610_nfc.c vf610_nfc_set_field() -> vf610_nfc_write()

Type Parameter Key Value
PARAM_VALUE 0 nfc 4096-ptr_max
PARAM_VALUE 1 reg 16136,16140,16176
BUF_SIZE 0 nfc s32min-(-1),1-s32max
BUF_SIZE 0 nfc s32min-(-1),1-s32max
BUF_SIZE 0 nfc->clk (-1),1-s32max
BUF_SIZE 0 nfc->dev (-1),1616
DATA_SOURCE 0 nfc $0
DATA_SOURCE 1 reg $1
HARD_MAX 1 reg 16176
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 2 val 0-u32max
USER_DATA 2 val 0-u32max[c]
NO_OVERFLOW_SIMPLE 0 nfc->clk->core->parent->req_rate
UNITS 0 nfc unit_byte