Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

mm/vmalloc.c __vmap_pages_range_noflush() -> vmap_small_pages_range_noflush()

Type Parameter Key Value
BUF_SIZE 3 pages (-1)-s32max
BUF_SIZE 3 pages (-1)-s32max
DATA_SOURCE 0 addr $0
DATA_SOURCE 1 end $1
DATA_SOURCE 2 prot $2
DATA_SOURCE 3 pages $3
RX_PATH
TASK_NOT_RUNNING
UNITS 0 addr unit_byte
UNITS 1 end unit_byte
UNITS 3 pages unit_page