Defined in 1 files as a macro:
Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
lib/plist.c plist_add() -> plist_check_head()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | head | 4096-ptr_max |
| DATA_SOURCE | 0 | head | $1 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &hb->lock | ||
| HALF_LOCKED2 | &si->lock | ||
| HALF_LOCKED2 | flags | ||
| HALF_LOCKED2 | global &pm_qos_lock | ||
| HALF_LOCKED2 | global &swap_avail_lock | ||
| HALF_LOCKED2 | global &swap_lock |
lib/plist.c plist_add() -> plist_check_head()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | head | 4096-ptr_max |
| DATA_SOURCE | 0 | head | $1 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &hb->lock | ||
| HALF_LOCKED2 | &si->lock | ||
| HALF_LOCKED2 | flags | ||
| HALF_LOCKED2 | global &pm_qos_lock | ||
| HALF_LOCKED2 | global &swap_avail_lock | ||
| HALF_LOCKED2 | global &swap_lock |
lib/plist.c plist_del() -> plist_check_head()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | head | 4096-ptr_max |
| DATA_SOURCE | 0 | head | $1 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &hb->lock | ||
| HALF_LOCKED2 | &p->lock | ||
| HALF_LOCKED2 | flags | ||
| HALF_LOCKED2 | global &pm_qos_lock | ||
| HALF_LOCKED2 | global &swap_avail_lock | ||
| HALF_LOCKED2 | global &swap_lock |
lib/plist.c plist_del() -> plist_check_head()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | head | 4096-ptr_max |
| PARAM_VALUE | 0 | head->node_list.next | 4096-ptr_max |
| DATA_SOURCE | 0 | head | $1 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &hb->lock | ||
| HALF_LOCKED2 | &p->lock | ||
| HALF_LOCKED2 | flags | ||
| HALF_LOCKED2 | global &pm_qos_lock | ||
| HALF_LOCKED2 | global &swap_avail_lock | ||
| HALF_LOCKED2 | global &swap_lock |
lib/plist.c plist_requeue() -> plist_check_head()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | head | 6067949614187450368,7352914141788897280 |
| DATA_SOURCE | 0 | head | $1 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | global &swap_avail_lock |
lib/plist.c plist_requeue() -> plist_check_head()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | head | 6067949614187450368,7352914141788897280 |
| PARAM_VALUE | 0 | head->node_list.next | 4096-ptr_max |
| CAPPED_DATA | 0 | &head->node_list | 1 |
| DATA_SOURCE | 0 | head | $1 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | global &swap_avail_lock |