Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

lib/xarray.c xas_create() -> xas_expand()

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 0
BUF_SIZE 0 xas->xa (-1),88
DATA_SOURCE 0 xas $0
NOSPEC 0 xas->xa_index
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
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-u64max
USER_DATA 0 xas->xa_offset 0-255
USER_DATA 0 xas->xa_sibs 0-255
HALF_LOCKED2 &((&xas)->xa)->xa_lock