Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

lib/parman.c parman_prio_first_index() -> parman_prio_first_item()

Type Parameter Key Value
PARAM_VALUE 0 prio 4096-ptr_max
DATA_SOURCE 0 prio $0
RX_PATH
TASK_NOT_RUNNING

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

Type Parameter Key Value
PARAM_VALUE 0 prio 4096-ptr_max
DATA_SOURCE 0 prio $1
PARAM_COMPARE 0 &prio->item_list != $0->item_list.next
RX_PATH
TASK_NOT_RUNNING