Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

mm/huge_memory.c __folio_split() -> xas_destroy()

Type Parameter Key Value
PARAM_VALUE 0 xas 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,(-86),(-46)
PARAM_VALUE 0 xas->xa_pad 0
PARAM_VALUE 0 xas->xa_shift 0-254
PARAM_VALUE 0 xas->xa_update 0,8350410864724193280
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

lib/xarray.c __xas_nomem() -> xas_destroy()

Type Parameter Key Value
PARAM_VALUE 0 xas 1127090692071976960,6045895482880757760,7321489591426240512
PARAM_VALUE 0 xas->xa 4096-ptr_max
PARAM_VALUE 0 xas->xa_node 0-18446744073709551569,(-45)-(-1)
DATA_SOURCE 0 xas $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 xas->xa_index 0-2305843009213693951[c]
HOST_DATA 0 xas->xa_offset 0-15[c]
USER_DATA 0 xas->xa_index 0-u64max
USER_DATA 0 xas->xa_offset 0-255
HALF_LOCKED2 &xa->xa_lock
HALF_LOCKED2 flags
HALF_LOCKED2 irq

lib/xarray.c xas_nomem() -> xas_destroy()

Type Parameter Key Value
PARAM_VALUE 0 xas 4096-ptr_max
PARAM_VALUE 0 xas->xa_node 0-18446744073709551569,(-45)-(-1)
DATA_SOURCE 0 xas $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 xas->xa_index 0-u64max[c]
HOST_DATA 0 xas->xa_offset 0-15[c]
HOST_DATA 0 xas->xa_sibs 0-15,255[c]
USER_DATA 0 xas->xa_index 0-4503599627370495
USER_DATA 0 xas->xa_offset 0-255
USER_DATA 0 xas->xa_sibs 0-255
HALF_LOCKED2 &access->ioas_lock
HALF_LOCKED2 &iopt->iova_rwsem
HALF_LOCKED2 &pages->mutex

lib/xarray.c xas_split_alloc() -> xas_destroy()

Type Parameter Key Value
PARAM_VALUE 0 xas 2322829303633539072,8714264325197791232
PARAM_VALUE 0 xas->xa 4096-ptr_max
PARAM_VALUE 0 xas->xa_alloc 0,4096-ptr_max
PARAM_VALUE 0 xas->xa_alloc->array 4096-ptr_max
PARAM_VALUE 0 xas->xa_alloc->parent 0
PARAM_VALUE 0 xas->xa_lru 0,1444489299079577600
PARAM_VALUE 0 xas->xa_node 3
PARAM_VALUE 0 xas->xa_pad 0
PARAM_VALUE 0 xas->xa_shift 1-254
PARAM_VALUE 0 xas->xa_update 0,8350410864724193280
DATA_SOURCE 0 xas $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

lib/xarray.c xas_try_split() -> xas_destroy()

Type Parameter Key Value
PARAM_VALUE 0 xas 4096-ptr_max
PARAM_VALUE 0 xas->xa 4096-ptr_max
PARAM_VALUE 0 xas->xa_node 4096-ptr_max
PARAM_VALUE 0 xas->xa_node->shift 1-255
PARAM_VALUE 0 xas->xa_shift 0-254
BUF_SIZE 0 xas->xa (-1),88
CAPPED_DATA 0 xas->xa_shift 1
DATA_SOURCE 0 xas $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 xas->xa_offset 0-15[c]
USER_DATA 0 xas->xa_offset 0-255
HALF_LOCKED2 &((&xas)->xa)->xa_lock
HALF_LOCKED2 irq

lib/xarray.c xas_try_split() -> xas_destroy()

Type Parameter Key Value
PARAM_VALUE 0 xas 4096-ptr_max
PARAM_VALUE 0 xas->xa 4096-ptr_max
PARAM_VALUE 0 xas->xa_alloc 0
PARAM_VALUE 0 xas->xa_node 4096-ptr_max
PARAM_VALUE 0 xas->xa_node->shift 1-255
PARAM_VALUE 0 xas->xa_shift 0-254
BUF_SIZE 0 xas->xa (-1),88
CAPPED_DATA 0 xas->xa_shift 1
CAPPED_DATA 0 xas->xa_sibs 1
DATA_SOURCE 0 xas $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 xas->xa_offset 0-15[c]
USER_DATA 0 xas->xa_offset 0-255
HALF_LOCKED2 &((&xas)->xa)->xa_lock
HALF_LOCKED2 irq

lib/test_xarray.c check_split_2() -> xas_destroy()

Type Parameter Key Value
PARAM_VALUE 0 xas 5500646605020205056
PARAM_VALUE 0 xas->xa 5024146686711472128
PARAM_VALUE 0 xas->xa_lru 0
PARAM_VALUE 0 xas->xa_node 0-1,3,4096-ptr_max,(-86)
PARAM_VALUE 0 xas->xa_pad 0
PARAM_VALUE 0 xas->xa_shift 0-6
NOCHECK_CALL