Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

mm/mapping_dirty_helpers.c clean_record_shared_mapping_range() -> walk_page_mapping()

Type Parameter Key Value
PARAM_VALUE 0 mapping 4096-ptr_max
PARAM_VALUE 0 mapping->i_mmap_rwsem.dep_map->name 0-255
PARAM_VALUE 0 mapping->i_mmap_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 mapping->i_mmap_rwsem.first_waiter->list.next 2212933610777083904
PARAM_VALUE 0 mapping->i_mmap_rwsem.first_waiter->list.prev 2212933610777083904
PARAM_VALUE 0 mapping->i_mmap_rwsem.first_waiter->type 0-1
PARAM_VALUE 3 ops 4859514388048031744
PARAM_VALUE 4 private 5537313456549801984
BUF_SIZE 4 private 64
DATA_SOURCE 0 mapping $0
DATA_SOURCE 1 first_index $1
DATA_SOURCE 2 nr $2
RX_PATH
TASK_NOT_RUNNING
UNITS 1 first_index unit_page
UNITS 2 nr unit_page
LOCK2 0 &mapping->i_mmap_rwsem
TYPE_LOCK (struct address_space)->i_mmap_rwsem

mm/mapping_dirty_helpers.c wp_shared_mapping_range() -> walk_page_mapping()

Type Parameter Key Value
PARAM_VALUE 0 mapping 4096-ptr_max
PARAM_VALUE 0 mapping->i_mmap_rwsem.dep_map->name 0-255
PARAM_VALUE 0 mapping->i_mmap_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 mapping->i_mmap_rwsem.first_waiter->list.next 2212933610777083904
PARAM_VALUE 0 mapping->i_mmap_rwsem.first_waiter->list.prev 2212933610777083904
PARAM_VALUE 0 mapping->i_mmap_rwsem.first_waiter->type 0-1
PARAM_VALUE 3 ops 5757727495644712960
PARAM_VALUE 4 private 9044644401892782080
BUF_SIZE 4 private 64
DATA_SOURCE 0 mapping $0
DATA_SOURCE 1 first_index $1
DATA_SOURCE 2 nr $2
RX_PATH
TASK_NOT_RUNNING
UNITS 1 first_index unit_page
UNITS 2 nr unit_page
LOCK2 0 &mapping->i_mmap_rwsem
TYPE_LOCK (struct address_space)->i_mmap_rwsem