Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 root 6033051948811755520
PARAM_VALUE 1 head 6716448163714179072
PARAM_VALUE 2 size 1-u64max
CAPPED_DATA 2 size 1
CAPPED_DATA 2 size 1
DATA_SOURCE 2 size $0
DATA_SOURCE 3 align $1
DATA_SOURCE 4 vstart $2
DATA_SOURCE 5 vend $3
STR_LEN 0 root (-1)
STR_LEN 2 size (-1)
BIT_INFO 2 size 0x0,0xfffffffffffff000
BIT_INFO 2 size 0x0,0xfffffffffffff000
NOSPEC 2 size
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 2 size 1-u64max[c]
USER_DATA 2 size 1-u64max[c]
UNITS 2 size unit_byte
UNITS 3 align unit_byte
UNITS 4 vstart unit_byte
UNITS 5 vend unit_byte
LOCK2 global &free_vmap_area_lock