Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/mtd/nand/raw/nandsim.c NS_PAGE_BYTE_OFF() -> NS_GET_PAGE()

Type Parameter Key Value
PARAM_VALUE 0 ns 4096-ptr_max
PARAM_VALUE 0 ns->regs.row 0-4294967294
BUF_SIZE 0 ns 384,648,3728,3736,3776,3888,3912,3968,3984,4008,4056,4216,5768
BUF_SIZE 0 ns 384,648,3728,3736,3776,3888,3912,3968,3984,4008,4056,4216,5768
CAPPED_DATA 0 ns->regs.row 1
DATA_SOURCE 0 ns $0
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 ns->cfile->f_path.d_inode->i_size
NO_OVERFLOW_SIMPLE 0 ns->nand_pages_slab->object_size
HALF_LOCKED2 &chip->controller->lock
HALF_LOCKED2 &chip->lock

drivers/mtd/nand/raw/nandsim.c ns_erase_sector() -> NS_GET_PAGE()

Type Parameter Key Value
PARAM_VALUE 0 ns 4096-ptr_max
BUF_SIZE 0 ns 384,648,3728,3736,3776,3888,3912,3968,3984,4008,4056,4216,5768
BUF_SIZE 0 ns 384,648,3728,3736,3776,3888,3912,3968,3984,4008,4056,4216,5768
DATA_SOURCE 0 ns $0
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 ns->cfile->f_path.moved->d_inode->i_size
NO_OVERFLOW_SIMPLE 0 ns->nand_pages_slab->object_size

drivers/mtd/nand/raw/nandsim.c ns_prog_page() -> NS_GET_PAGE()

Type Parameter Key Value
PARAM_VALUE 0 ns 4096-ptr_max
PARAM_VALUE 0 ns->regs.row 0-4294967294
BUF_SIZE 0 ns 384,648,3728,3736,3776,3888,3912,3968,3984,4008,4056,4216,5768
BUF_SIZE 0 ns 384,648,3728,3736,3776,3888,3912,3968,3984,4008,4056,4216,5768
CAPPED_DATA 0 ns->regs.count 1
CAPPED_DATA 0 ns->regs.row 1
DATA_SOURCE 0 ns $0
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 ns->cfile->f_path.moved->d_inode->i_size
NO_OVERFLOW_SIMPLE 0 ns->nand_pages_slab->object_size

drivers/mtd/nand/raw/nandsim.c ns_read_page() -> NS_GET_PAGE()

Type Parameter Key Value
PARAM_VALUE 0 ns 4096-ptr_max
PARAM_VALUE 0 ns->regs.row 0-4294967294
BUF_SIZE 0 ns 384,648,3728,3736,3776,3888,3912,3968,3984,4008,4056,4216,5768
BUF_SIZE 0 ns 384,648,3728,3736,3776,3888,3912,3968,3984,4008,4056,4216,5768
CAPPED_DATA 0 ns->regs.column 1
CAPPED_DATA 0 ns->regs.row 1
DATA_SOURCE 0 ns $0
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 ns->cfile->f_path.moved->d_inode->i_size
NO_OVERFLOW_SIMPLE 0 ns->nand_pages_slab->object_size