Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/dpll/dpll_core.c __dpll_pin_register() -> dpll_xa_ref_pin_del()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | xa_pins | 4096-ptr_max |
| PARAM_VALUE | 1 | pin->refcnt_tracker.list.next | 4096-ptr_max |
| PARAM_VALUE | 1 | pin->refcnt_tracker.list.next->next | 4096-ptr_max |
| PARAM_VALUE | 1 | pin->refcnt_tracker.list.next->prev | 4096-ptr_max |
| PARAM_VALUE | 2 | ops | 4096-ptr_max |
| PARAM_VALUE | 3 | priv | 4096-ptr_max |
| PARAM_VALUE | 4 | cookie | 0,4096-ptr_max |
| BUF_SIZE | 1 | pin | (-1),576 |
| BUF_SIZE | 1 | pin | (-1),576 |
| BUF_SIZE | 2 | ops | (-1),168 |
| BUF_SIZE | 2 | ops | (-1),168 |
| BUF_SIZE | 3 | priv | (-1),96,192,280,384 |
| BUF_SIZE | 3 | priv | (-1),96,192,280,384 |
| CAPPED_DATA | 2 | ops | 1 |
| CAPPED_DATA | 3 | priv | 1 |
| CAPPED_DATA | 4 | cookie | 1 |
| DATA_SOURCE | 1 | pin | $1 |
| DATA_SOURCE | 2 | ops | $2 |
| DATA_SOURCE | 3 | priv | $3 |
| DATA_SOURCE | 4 | cookie | $4 |
| BIT_INFO | 2 | ops | 0x0,0x7fffffffffffffff |
| BIT_INFO | 2 | ops | 0x0,0x7fffffffffffffff |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | global &dpll_lock |
drivers/dpll/dpll_core.c __dpll_pin_unregister() -> dpll_xa_ref_pin_del()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | xa_pins | 4096-ptr_max |
| PARAM_VALUE | 1 | pin | 4096-ptr_max |
| PARAM_VALUE | 2 | ops | 4096-ptr_max |
| PARAM_VALUE | 3 | priv | 4096-ptr_max |
| PARAM_VALUE | 4 | cookie | 0,4096-ptr_max |
| BUF_SIZE | 1 | pin | (-1),576 |
| BUF_SIZE | 1 | pin | (-1),576 |
| BUF_SIZE | 2 | ops | (-1),168 |
| BUF_SIZE | 2 | ops | (-1),168 |
| BUF_SIZE | 3 | priv | s32min-(-1),1-s32max |
| BUF_SIZE | 3 | priv | s32min-(-1),1-s32max |
| CAPPED_DATA | 1 | pin | 1 |
| CAPPED_DATA | 2 | ops | 1 |
| CAPPED_DATA | 3 | priv | 1 |
| DATA_SOURCE | 1 | pin | $1 |
| DATA_SOURCE | 2 | ops | $2 |
| DATA_SOURCE | 3 | priv | $3 |
| DATA_SOURCE | 4 | cookie | $4 |
| BIT_INFO | 2 | ops | 0x0,0x7fffffffffffffff |
| BIT_INFO | 2 | ops | 0x0,0x7fffffffffffffff |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 3 | priv | unit_byte |
| LOCK2 | global &dpll_lock |
drivers/dpll/dpll_core.c dpll_pin_on_pin_register() -> dpll_xa_ref_pin_del()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | xa_pins | 4096-ptr_max |
| PARAM_VALUE | 1 | pin | 4096-ptr_max |
| PARAM_VALUE | 1 | pin->prop.type | 1 |
| PARAM_VALUE | 1 | pin->refcnt_tracker.list.next | 4096-ptr_max |
| PARAM_VALUE | 1 | pin->refcnt_tracker.list.next->next | 4096-ptr_max |
| PARAM_VALUE | 1 | pin->refcnt_tracker.list.next->prev | 4096-ptr_max |
| PARAM_VALUE | 2 | ops | 677018906028040192 |
| PARAM_VALUE | 2 | ops->direction_get | 4096-ptr_max |
| PARAM_VALUE | 2 | ops->state_on_pin_get | 4096-ptr_max |
| PARAM_VALUE | 3 | priv | 4096-ptr_max |
| BUF_SIZE | 3 | priv | (-1),192 |
| BUF_SIZE | 3 | priv | (-1),192 |
| CAPPED_DATA | 1 | pin | 1 |
| CAPPED_DATA | 3 | priv | 1 |
| DATA_SOURCE | 1 | pin | $0 |
| DATA_SOURCE | 2 | ops | $2 |
| DATA_SOURCE | 3 | priv | $3 |
| DATA_SOURCE | 4 | cookie | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | global &dpll_lock |
drivers/dpll/dpll_core.c dpll_pin_on_pin_unregister() -> dpll_xa_ref_pin_del()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | xa_pins | 4096-ptr_max |
| PARAM_VALUE | 1 | pin | 1-ptr_max |
| PARAM_VALUE | 2 | ops | 677018906028040192 |
| PARAM_VALUE | 2 | ops->direction_get | 4096-ptr_max |
| PARAM_VALUE | 2 | ops->state_on_pin_get | 4096-ptr_max |
| PARAM_VALUE | 3 | priv | 4096-ptr_max |
| BUF_SIZE | 3 | priv | (-1),192 |
| BUF_SIZE | 3 | priv | (-1),192 |
| CAPPED_DATA | 1 | pin | 1 |
| CAPPED_DATA | 3 | priv | 1 |
| DATA_SOURCE | 1 | pin | $0 |
| DATA_SOURCE | 2 | ops | $2 |
| DATA_SOURCE | 3 | priv | $3 |
| DATA_SOURCE | 4 | cookie | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | global &dpll_lock |