Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

lib/plist.c plist_check_list() -> plist_check_prev_next()

Type Parameter Key Value
PARAM_VALUE 0 t 4096-ptr_max
PARAM_VALUE 1 p 4096-ptr_max
DATA_SOURCE 0 t $0
DATA_SOURCE 1 p $0
PARAM_COMPARE 0 t == $1
PARAM_COMPARE 1 p == $0
PARAM_COMPARE 1 p == $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &swap_avail_lock

lib/plist.c plist_check_list() -> plist_check_prev_next()

Type Parameter Key Value
PARAM_VALUE 0 t 4096-ptr_max
PARAM_VALUE 0 t->next 4096-ptr_max
PARAM_VALUE 1 p 4096-ptr_max
DATA_SOURCE 0 t $0
PARAM_COMPARE 0 t != $1
PARAM_COMPARE 1 p != $0
PARAM_COMPARE 1 p != $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &swap_avail_lock