Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

mm/readahead.c page_cache_ra_order() -> ra_alloc_folio()

Type Parameter Key Value
PARAM_VALUE 0 ractl 4096-ptr_max
PARAM_VALUE 0 ractl->_batch_count 0
PARAM_VALUE 0 ractl->_pflags 0
PARAM_VALUE 0 ractl->file 0,4096-ptr_max
PARAM_VALUE 0 ractl->mapping 4096-ptr_max
PARAM_VALUE 0 ractl->mapping->host 4096-ptr_max
PARAM_VALUE 0 ractl->mapping->invalidate_lock.dep_map->name 0-255
PARAM_VALUE 0 ractl->mapping->invalidate_lock.first_waiter->list.next 2212933610777083904
PARAM_VALUE 0 ractl->mapping->invalidate_lock.first_waiter->list.prev 2212933610777083904
PARAM_VALUE 0 ractl->mapping->invalidate_lock.first_waiter->type 0-1
PARAM_VALUE 0 ractl->ra 4096-ptr_max
PARAM_VALUE 1 index 0-2251799813685247
PARAM_VALUE 4 gfp 0,8192-u32max
CAPPED_DATA 0 ractl->_index 1
CAPPED_DATA 1 index 1
CAPPED_DATA 1 index 1
DATA_SOURCE 0 ractl $0
DATA_SOURCE 4 gfp r readahead_gfp_mask
PARAM_COMPARE 1 index == $0->_index
PARAM_COMPARE 1 index == $0->_index
BIT_INFO 4 gfp 0x12000,0xffffffff
NOSPEC 0 ractl->_index
NOSPEC 1 index
NOSPEC 2 mark
NOSPEC 3 order
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 ractl->_index 0-4503599627370495[c]
USER_DATA 0 ractl->_nr_pages 0-u32max[c][u]
USER_DATA 1 index 0-s32max[c]
USER_DATA 2 mark 0-4503603922337789,18446744071562067969-u64max
USER_DATA 3 order 0-s32max[c]
NO_OVERFLOW_SIMPLE 0 ractl->mapping->host->i_size
UNITS 1 index unit_page
UNITS 2 mark unit_page
LOCK2 &mapping->invalidate_lock
TYPE_LOCK (struct address_space)->invalidate_lock