Defined in 1 files as a prototype:

Defined in 2 files as a function:

Referenced in 1 files:

Smatch caller information:

mm/vmalloc.c vmap_pages_range_noflush() -> kmsan_vmap_pages_range_noflush()

Type Parameter Key Value
PARAM_VALUE 4 page_shift 12-65547
PARAM_VALUE 5 gfp_mask 0,256,288-17559008
BUF_SIZE 3 pages (-1)-s32max
BUF_SIZE 3 pages (-1)-s32max
DATA_SOURCE 0 start $0
DATA_SOURCE 1 end $1
DATA_SOURCE 2 prot $2
DATA_SOURCE 3 pages $3
DATA_SOURCE 4 page_shift $4
DATA_SOURCE 5 gfp_mask $5
FUZZY_MAX 4 page_shift 12
RX_PATH
TASK_NOT_RUNNING
UNITS 0 start unit_byte
UNITS 1 end unit_byte
UNITS 3 pages unit_page