Open Menu /

Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

drivers/mtd/nand/raw/gpmi-nand/gpmi-nand.c gpmi_ecc_read_page_raw() -> nand_extract_bits()

Type Parameter Key Value
PARAM_VALUE 0 dst 1-u64max
BUF_SIZE 0 dst s32min,(-1)-s32max
BUF_SIZE 0 dst s32min,(-1)-s32max
BUF_SIZE 2 src 1-s32max
BUF_SIZE 2 src 1-s32max
DATA_SOURCE 0 dst $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 *dst 0-255
USER_PTR 0 dst
HALF_LOCKED2 &chip->controller->lock
HALF_LOCKED2 &chip->lock

drivers/mtd/nand/raw/gpmi-nand/gpmi-nand.c gpmi_ecc_read_page_raw() -> nand_extract_bits()

Type Parameter Key Value
BUF_SIZE 2 src 1-s32max
BUF_SIZE 2 src 1-s32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 *dst 0-255
USER_DATA 0 *dst 0-255
UNITS 0 dst unit_byte
HALF_LOCKED2 &chip->controller->lock
HALF_LOCKED2 &chip->lock

drivers/mtd/nand/raw/gpmi-nand/gpmi-nand.c gpmi_ecc_write_page_raw() -> nand_extract_bits()

Type Parameter Key Value
PARAM_VALUE 2 src 1-u64max
BUF_SIZE 0 dst 1-s32max
BUF_SIZE 0 dst 1-s32max
BUF_SIZE 2 src (-1)-s32max
BUF_SIZE 2 src (-1)-s32max
DATA_SOURCE 2 src $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/mtd/nand/raw/gpmi-nand/gpmi-nand.c gpmi_ecc_write_page_raw() -> nand_extract_bits()

Type Parameter Key Value
BUF_SIZE 0 dst 1-s32max
BUF_SIZE 0 dst 1-s32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 2 src unit_byte
HALF_LOCKED2 &chip->controller->lock
HALF_LOCKED2 &chip->lock

drivers/mtd/nand/raw/arasan-nand-controller.c anfc_read_page_hw_ecc() -> nand_extract_bits()

Type Parameter Key Value
PARAM_VALUE 1 dst_off 0
BUF_SIZE 0 dst 7,13-14,20-21,39-42
MEM_ZERO 0 dst
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &chip->controller->lock
HALF_LOCKED2 &chip->lock