Open Menu /

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

mm/memory.c apply_to_p4d_range() -> p4d_alloc_track()

Type Parameter Key Value
PARAM_VALUE 0 mm 4096-ptr_max
PARAM_VALUE 1 pgd 4096-ptr_max
PARAM_VALUE 3 mod_mask 1926910826885431296
CAPPED_DATA 2 address 1
CAPPED_DATA 2 address 1
DATA_SOURCE 0 mm $0
DATA_SOURCE 1 pgd $1
DATA_SOURCE 2 address $2
DATA_SOURCE 3 mod_mask $7
NOSPEC 2 address
NOSPEC 2 address
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_DATA 2 address 0-u64max[c]
UNITS 0 mm unit_byte
UNITS 2 address unit_byte
HALF_LOCKED2 flags

mm/vmalloc.c vmap_p4d_range() -> p4d_alloc_track()

Type Parameter Key Value
PARAM_VALUE 0 mm 7138969414219841536
PARAM_VALUE 1 pgd 4096-u64max
PARAM_VALUE 2 address 0-18446744073709551614
PARAM_VALUE 3 mod_mask 8430091323868069888
CAPPED_DATA 2 address 1
CAPPED_DATA 2 address 1
DATA_SOURCE 1 pgd $0
DATA_SOURCE 2 address $1
DATA_SOURCE 3 mod_mask $6
RX_PATH
TASK_NOT_RUNNING
UNITS 2 address unit_byte

mm/vmalloc.c vmap_pages_p4d_range() -> p4d_alloc_track()

Type Parameter Key Value
PARAM_VALUE 0 mm 7138969414219841536
PARAM_VALUE 1 pgd 4096-ptr_max
PARAM_VALUE 2 address 0-18446744073709551614
PARAM_VALUE 3 mod_mask 2261150396343144448
CAPPED_DATA 2 address 1
CAPPED_DATA 2 address 1
DATA_SOURCE 1 pgd $0
DATA_SOURCE 2 address $1
DATA_SOURCE 3 mod_mask $6
RX_PATH
TASK_NOT_RUNNING
UNITS 2 address unit_byte