Open Menu /

Defined in 2 files as a function:

Referenced in 1 files:

Smatch caller information:

mm/vmalloc.c vrealloc_node_align_noprof() -> kasan_vrealloc()

Type Parameter Key Value
PARAM_VALUE 0 start 1-u64max
PARAM_VALUE 1 old_size 1-u64max
PARAM_VALUE 2 new_size 1-u64max
BUF_SIZE 0 start (-1),2048,4096,16384
BUF_SIZE 0 start (-1),2048,4096,16384
CAPPED_DATA 0 start 1
CAPPED_DATA 1 old_size 1
CAPPED_DATA 1 old_size 1
CAPPED_DATA 2 new_size 1
CAPPED_DATA 2 new_size 1
DATA_SOURCE 0 start $0
DATA_SOURCE 2 new_size $1
PARAM_COMPARE 1 old_size >= $2
PARAM_COMPARE 1 old_size >= $2
PARAM_COMPARE 2 new_size <= $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 start unit_byte
UNITS 1 old_size unit_byte
UNITS 2 new_size unit_byte
BYTE_COUNT 0 ==start2 8050

mm/vmalloc.c vrealloc_node_align_noprof() -> kasan_vrealloc()

Type Parameter Key Value
PARAM_VALUE 0 start 1-u64max
PARAM_VALUE 1 old_size 0-18446744073709551614
PARAM_VALUE 2 new_size 1-18446744073709547520
BUF_SIZE 0 start (-1),2048,4096,16384
BUF_SIZE 0 start (-1),2048,4096,16384
CAPPED_DATA 0 start 1
CAPPED_DATA 1 old_size 1
CAPPED_DATA 1 old_size 1
CAPPED_DATA 2 new_size 1
CAPPED_DATA 2 new_size 1
DATA_SOURCE 0 start $0
DATA_SOURCE 2 new_size $1
PARAM_COMPARE 1 old_size < $2
PARAM_COMPARE 1 old_size < $2
PARAM_COMPARE 2 new_size > $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 start unit_byte
UNITS 1 old_size unit_byte
UNITS 2 new_size unit_byte
BYTE_COUNT 0 ==start2 8050