Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

lib/xarray.c node_mark_slots() -> node_set_mark()

Type Parameter Key Value
PARAM_VALUE 0 node 4096-ptr_max
PARAM_VALUE 0 node->nr_values 0,16
PARAM_VALUE 1 offset 0-15
PARAM_VALUE 2 mark 0
DATA_SOURCE 0 node $0
DATA_SOURCE 2 mark $2
FUZZY_MAX 0 node->nr_values 16
BIT_INFO 0 node->nr_values 0x0,0x10
HARD_MAX 0 node->nr_values 16
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &((&xas)->xa)->xa_lock
HALF_LOCKED2 irq

lib/xarray.c node_set_marks() -> node_set_mark()

Type Parameter Key Value
PARAM_VALUE 0 node 4096-ptr_max
PARAM_VALUE 2 mark 0
CAPPED_DATA 0 node->shift 1
DATA_SOURCE 0 node $0
DATA_SOURCE 1 offset $1
PARAM_COMPARE 2 mark == $2
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 offset unit_page
HALF_LOCKED2 &((&xas)->xa)->xa_lock
HALF_LOCKED2 irq

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

Type Parameter Key Value
PARAM_VALUE 0 node 4096-ptr_max
PARAM_VALUE 1 offset 0
PARAM_VALUE 2 mark 0-1
DATA_SOURCE 0 node r xas_alloc
FUZZY_MAX 2 mark 1
PARAM_COMPARE 2 mark == $2
HARD_MAX 2 mark 1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &((&xas)->xa)->xa_lock

lib/xarray.c xas_set_mark() -> node_set_mark()

Type Parameter Key Value
PARAM_VALUE 0 node 1-u64max
PARAM_VALUE 1 offset 0-255
PARAM_VALUE 2 mark 0-2
DATA_SOURCE 2 mark $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 offset 0-255
UNITS 1 offset unit_page
HALF_LOCKED2 &((&xas)->xa)->xa_lock
HALF_LOCKED2 &(xas->xa)->xa_lock
HALF_LOCKED2 &cache->daemon_mutex
HALF_LOCKED2 &eb->lock
HALF_LOCKED2 &inode->i_rwsem
HALF_LOCKED2 flags
HALF_LOCKED2 irq