Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

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 (-46)
PARAM_VALUE 1 lock_type 0-3
DATA_SOURCE 0 xas $0
DATA_SOURCE 1 lock_type r xa_lock_type
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