Defined in 2 files as a function:

Referenced in 2 files:

Smatch caller information:

mm/kasan/generic.c __asan_load1() -> check_region_inline()

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

mm/kasan/generic.c __asan_load16() -> check_region_inline()

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

mm/kasan/generic.c __asan_load2() -> check_region_inline()

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

mm/kasan/generic.c __asan_load4() -> check_region_inline()

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

mm/kasan/generic.c __asan_load8() -> check_region_inline()

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

mm/kasan/generic.c __asan_store1() -> check_region_inline()

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

mm/kasan/generic.c __asan_store16() -> check_region_inline()

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

mm/kasan/generic.c __asan_store2() -> check_region_inline()

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

mm/kasan/generic.c __asan_store4() -> check_region_inline()

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

mm/kasan/generic.c __asan_store8() -> check_region_inline()

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

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

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