Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 2 files as a function:

Referenced in 3 files:

Smatch caller information:

mm/kasan/generic.c __asan_loadN() -> kasan_check_range()

Type Parameter Key Value
PARAM_VALUE 2 write 0
DATA_SOURCE 0 addr $0
DATA_SOURCE 1 size $1
NOCHECK_CALL

mm/kasan/generic.c __asan_storeN() -> kasan_check_range()

Type Parameter Key Value
PARAM_VALUE 2 write 1
DATA_SOURCE 0 addr $0
DATA_SOURCE 1 size $1
NOCHECK_CALL

mm/kasan/shadow.c __asan_memcpy() -> kasan_check_range()

Type Parameter Key Value
PARAM_VALUE 2 write 0
DATA_SOURCE 0 addr $1
DATA_SOURCE 1 size $2

mm/kasan/shadow.c __asan_memcpy() -> kasan_check_range()

Type Parameter Key Value
PARAM_VALUE 2 write 1
DATA_SOURCE 0 addr $0
DATA_SOURCE 1 size $2
NO_OVERFLOW_SIMPLE 1 size

mm/kasan/shadow.c __asan_memmove() -> kasan_check_range()

Type Parameter Key Value
PARAM_VALUE 2 write 0
DATA_SOURCE 0 addr $1
DATA_SOURCE 1 size $2

mm/kasan/shadow.c __asan_memmove() -> kasan_check_range()

Type Parameter Key Value
PARAM_VALUE 2 write 1
DATA_SOURCE 0 addr $0
DATA_SOURCE 1 size $2
NO_OVERFLOW_SIMPLE 1 size

mm/kasan/shadow.c __asan_memset() -> kasan_check_range()

Type Parameter Key Value
PARAM_VALUE 2 write 1
DATA_SOURCE 0 addr $0
DATA_SOURCE 1 size $2

mm/kasan/shadow.c __kasan_check_read() -> kasan_check_range()

Type Parameter Key Value
PARAM_VALUE 2 write 0
DATA_SOURCE 0 addr $0
DATA_SOURCE 1 size $1

mm/kasan/shadow.c __kasan_check_write() -> kasan_check_range()

Type Parameter Key Value
PARAM_VALUE 2 write 1
DATA_SOURCE 0 addr $0
DATA_SOURCE 1 size $1