Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

lib/fdt.c check_block_() -> check_off_()

Type Parameter Key Value
PARAM_VALUE 0 hdrsize 28,32,36,40
CAPPED_DATA 0 hdrsize 1
DATA_SOURCE 0 hdrsize $0
DATA_SOURCE 1 totalsize $1
DATA_SOURCE 2 off $2
RX_PATH
TASK_NOT_RUNNING

lib/fdt.c check_block_() -> check_off_()

Type Parameter Key Value
PARAM_VALUE 0 hdrsize 28,32,36,40
PARAM_VALUE 1 totalsize 28-u32max
PARAM_VALUE 2 off 28-u32max
CAPPED_DATA 0 hdrsize 1
CAPPED_DATA 1 totalsize 1
DATA_SOURCE 0 hdrsize $0
DATA_SOURCE 1 totalsize $1
PARAM_COMPARE 0 hdrsize <= $1
PARAM_COMPARE 1 totalsize >= $0
RX_PATH
TASK_NOT_RUNNING

lib/fdt.c fdt_check_header() -> check_off_()

Type Parameter Key Value
PARAM_VALUE 0 hdrsize 28,32,36,40
CAPPED_DATA 0 hdrsize 1
DATA_SOURCE 0 hdrsize r fdt_header_size
RX_PATH
TASK_NOT_RUNNING

lib/fdt.c fdt_check_header() -> check_off_()

Type Parameter Key Value
PARAM_VALUE 0 hdrsize 28,32,36,40
CAPPED_DATA 0 hdrsize 1
DATA_SOURCE 0 hdrsize r fdt_header_size
RX_PATH
TASK_NOT_RUNNING