Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

mm/mincore.c __do_sys_mincore() -> do_mincore()

Type Parameter Key Value
PARAM_VALUE 1 pages 1-4096
PARAM_VALUE 2 vec 4096-ptr_max
BUF_SIZE 2 vec 4096
BUF_SIZE 2 vec 4096
CAPPED_DATA 1 pages 1
DATA_SOURCE 0 addr $0 [m]
DATA_SOURCE 2 vec r _kmalloc_noprof
NOSPEC 0 addr
USER_DATA 0 addr 0-u64max[c]
USER_DATA 1 pages 1-4095[c]
UNITS 1 pages unit_page

mm/mincore.c __do_sys_mincore() -> do_mincore()

Type Parameter Key Value
PARAM_VALUE 1 pages 1-4096
PARAM_VALUE 2 vec 4096-ptr_max
BUF_SIZE 2 vec 4096
BUF_SIZE 2 vec 4096
CAPPED_DATA 1 pages 1
DATA_SOURCE 0 addr $0 [m]
DATA_SOURCE 2 vec r _kmalloc_noprof
NOSPEC 0 addr
USER_DATA 0 addr 0-u64max[c]
USER_DATA 1 pages 1-4095[c]
UNITS 1 pages unit_page