Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 node 4096-ptr_max
PARAM_VALUE 0 node->shift 1-255
PARAM_VALUE 2 child 4096-ptr_max
PARAM_VALUE 2 child->count 16
PARAM_VALUE 2 child->nr_values 0,16
PARAM_VALUE 2 child->parent 4096-ptr_max
PARAM_VALUE 2 child->parent->shift 1-255
PARAM_VALUE 2 child->shift 0-251,253-255
PARAM_VALUE 4 marks 0-1
DATA_SOURCE 4 marks r node_get_marks
FUZZY_MAX 2 child->nr_values 16
BIT_INFO 2 child->nr_values 0x0,0x10
HARD_MAX 2 child->nr_values 16
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 offset unit_page
UNITS 3 sibs unit_page
HALF_LOCKED2 &((&xas)->xa)->xa_lock
HALF_LOCKED2 irq

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

Type Parameter Key Value
PARAM_VALUE 0 node 4096-ptr_max
PARAM_VALUE 0 node->shift 0-254
PARAM_VALUE 2 child 0
PARAM_VALUE 3 sibs 0
PARAM_VALUE 4 marks 0-1
CAPPED_DATA 0 node->shift 1
DATA_SOURCE 4 marks r node_get_marks
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_try_split() -> node_set_marks()

Type Parameter Key Value
PARAM_VALUE 0 node 4096-ptr_max
PARAM_VALUE 0 node->shift 1-255
PARAM_VALUE 2 child 4096-ptr_max
PARAM_VALUE 2 child->array 4096-ptr_max
PARAM_VALUE 2 child->count 16
PARAM_VALUE 2 child->nr_values 0,16
PARAM_VALUE 2 child->parent 4096-ptr_max
PARAM_VALUE 2 child->parent->shift 1-255
PARAM_VALUE 2 child->shift 0-251,253-255
PARAM_VALUE 4 marks 0-1
CAPPED_DATA 3 sibs 1
DATA_SOURCE 4 marks r node_get_marks
FUZZY_MAX 2 child->nr_values 16
BIT_INFO 2 child->nr_values 0x0,0x10
HARD_MAX 2 child->nr_values 16
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 offset unit_page
UNITS 3 sibs unit_page
HALF_LOCKED2 &((&xas)->xa)->xa_lock
HALF_LOCKED2 irq

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

Type Parameter Key Value
PARAM_VALUE 0 node 4096-ptr_max
PARAM_VALUE 2 child 0
PARAM_VALUE 3 sibs 0
PARAM_VALUE 4 marks 0-1
CAPPED_DATA 0 node->shift 1
DATA_SOURCE 4 marks r node_get_marks
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 offset unit_page
HALF_LOCKED2 &((&xas)->xa)->xa_lock
HALF_LOCKED2 irq