Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 2 files as a function:

Referenced in 3 files:

Smatch caller information:

mm/huge_memory.c __split_unmapped_folio() -> xas_split()

Type Parameter Key Value
PARAM_VALUE 0 xas 0,2322829303633539072
PARAM_VALUE 0 xas->xa 4096-ptr_max
PARAM_VALUE 0 xas->xa_lru 0,1444489299079577600
PARAM_VALUE 0 xas->xa_node 0-1,3,4096-ptr_max
PARAM_VALUE 0 xas->xa_pad 0
PARAM_VALUE 0 xas->xa_shift 0-254
PARAM_VALUE 0 xas->xa_update 0,8350410864724193280
PARAM_VALUE 1 entry 4096-ptr_max
PARAM_VALUE 2 order 0-255
CAPPED_DATA 0 xas->xa_node 1
CAPPED_DATA 0 xas->xa_shift 1
CAPPED_DATA 2 order 1
DATA_SOURCE 0 xas $3
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 irq
HALF_LOCKED2 &mapping->i_mmap_rwsem
HALF_LOCKED2 rcu_read

lib/test_xarray.c check_split_1() -> xas_split()

Type Parameter Key Value
PARAM_VALUE 0 xas 8714264325197791232
PARAM_VALUE 0 xas->xa 5024146686711472128
PARAM_VALUE 0 xas->xa_lru 0
PARAM_VALUE 0 xas->xa_node 3,(-46)
PARAM_VALUE 0 xas->xa_offset 0
PARAM_VALUE 0 xas->xa_pad 0
PARAM_VALUE 0 xas->xa_shift 1-6
PARAM_VALUE 0 xas->xa_update 0
PARAM_VALUE 1 entry 5024146686711472128
PARAM_VALUE 2 order 1-7
CAPPED_DATA 2 order 1
DATA_SOURCE 1 entry $0
DATA_SOURCE 2 order $2
FUZZY_MAX 2 order 7
HARD_MAX 2 order 7
PREEMPT_ADD <- disables preempt
NOCHECK_CALL
UNITS 2 order unit_bit
LOCK2 &((&xas)->xa)->xa_lock