Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

lib/parman.c parman_prio_item_remove() -> __parman_prio_move()

Type Parameter Key Value
PARAM_VALUE 0 parman 4096-ptr_max
PARAM_VALUE 0 parman->algo 4096-ptr_max
PARAM_VALUE 0 parman->algo->item_add 4096-ptr_max
PARAM_VALUE 1 prio 4096-ptr_max
PARAM_VALUE 4 count 1
DATA_SOURCE 0 parman $0
DATA_SOURCE 1 prio $1
DATA_SOURCE 2 item r parman_prio_last_item
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 3 to_index unit_array_size

lib/parman.c parman_prio_shift_down() -> __parman_prio_move()

Type Parameter Key Value
PARAM_VALUE 0 parman 4096-ptr_max
PARAM_VALUE 0 parman->algo 4096-ptr_max
PARAM_VALUE 0 parman->ops->resize 4096-ptr_max
PARAM_VALUE 1 prio 4096-ptr_max
PARAM_VALUE 4 count 1
DATA_SOURCE 0 parman $0
DATA_SOURCE 1 prio $1
DATA_SOURCE 2 item r parman_prio_first_item
PARAM_COMPARE 1 &prio->item_list != $1->item_list.next
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

lib/parman.c parman_prio_shift_up() -> __parman_prio_move()

Type Parameter Key Value
PARAM_VALUE 0 parman 4096-ptr_max
PARAM_VALUE 0 parman->algo 4096-ptr_max
PARAM_VALUE 0 parman->algo->item_add 4096-ptr_max
PARAM_VALUE 1 prio 4096-ptr_max
PARAM_VALUE 4 count 1
DATA_SOURCE 0 parman $0
DATA_SOURCE 1 prio $1
DATA_SOURCE 2 item r parman_prio_last_item
PARAM_COMPARE 1 &prio->item_list != $1->item_list.next
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL