Defined in 3 files as a function:

Referenced in 1 files:

Smatch caller information:

mm/vmalloc.c alloc_vmap_area() -> kasan_populate_vmalloc()

Type Parameter Key Value
PARAM_VALUE 0 addr 0-18446744073709547520
PARAM_VALUE 1 size 1-u64max
PARAM_VALUE 2 gfp_mask 0,32-17558752
CAPPED_DATA 1 size 1
CAPPED_DATA 1 size 1
DATA_SOURCE 1 size $0
STR_LEN 0 addr (-1)
STR_LEN 1 size (-1)
BIT_INFO 1 size 0x0,0xfffffffffffff000
BIT_INFO 1 size 0x0,0xfffffffffffff000
BIT_INFO 2 gfp_mask 0x0,0x10bece0
NOSPEC 1 size
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 1 size 1-u64max[c]
USER_DATA 1 size 1-u64max[c]
UNITS 0 addr unit_byte
UNITS 1 size unit_byte

mm/vmalloc.c pcpu_get_vm_areas() -> kasan_populate_vmalloc()

Type Parameter Key Value
PARAM_VALUE 2 gfp_mask 0,1024-76800,76992
DATA_SOURCE 2 gfp_mask $4
BIT_INFO 2 gfp_mask 0x0,0x12cc0
UNITS 0 addr unit_byte
LOCK2 global &pcpu_alloc_mutex